Characterising Fixed Parameter Tractability for Query Evaluation Over Guarded TGDs
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | 13 | |
| Author | ||
| License | CC Attribution 3.0 Germany: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/57493 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | |
| Genre |
00:00
TheoremPerformance appraisalParametrisierungSocial classSoftware frameworkKolmogorov complexityParameter (computer programming)Modul <Datentyp>Binary fileDatabaseExploit (computer security)Process (computing)DatabaseHypermediaKeyboard shortcutDirection (geometry)Arithmetic meanData structureJunction (traffic)Data storage deviceWebsiteRight angleSocial classMathematicsCondition numberAxiom of choiceResultantNumberReading (process)Matching (graph theory)MeasurementTwitterWorkstation <Musikinstrument>Presentation of a groupState of matterWeb 2.0WeightCASE <Informatik>Vulnerability (computing)Form (programming)Natural numberGradient descentFood energyTask (computing)Entire functionError messageConstructor (object-oriented programming)Line (geometry)Extension (kinesiology)Formal languageGodCasting (performing arts)AverageData managementOptical disc driveOcean currentMedical imagingSet (mathematics)BitTrailAutomatic differentiationTheory of relativityNetwork topologyRule of inference2 (number)Core dumpBoss CorporationPoint (geometry)Decision theoryStreaming mediaDivision (mathematics)Key (cryptography)Group actionWindowLogic gateState observerMachine visionOrder (biology)Context awarenessGoogolFerry CorstenTerm (mathematics)Cheat <Computerspiel>Grass (card game)Product (business)PropagatorExtreme programmingChainMereologyReduction of orderBound statePerformance appraisalInformation retrievalCharacteristic polynomialOntologySemantics (computer science)Clique-widthPositional notationProof theoryParameter (computer programming)Enumerated typeRational numberCorrespondence (mathematics)Variable (mathematics)Potenz <Mathematik>Boolean algebraCartesian coordinate systemMultiplication signComplete metric spaceIdentifiabilitySymbol tableP (complexity)Well-formed formulaAtomic numberLoginRewritingWordQuery languageCovering spaceBinary codeSoftware frameworkSequenceLemma (mathematics)First-order logicPrime idealDifferent (Kate Ryan album)Complex (psychology)MappingLoop (music)Black boxView (database)Constraint (mathematics)Expected valueInfinityCanonical ensembleEquivalence relationComputational complexity theoryExistenceComputer animation
Transcript: English(auto-generated)