Stratified Negation in Datalog with Metric Temporal Operators.
David J. Tena CucalaPrzemyslaw Andrzej WalegaBernardo Cuenca GrauEgor V. KostylevPublished in: AAAI (2021)
Keyphrases
- deductive databases
- datalog programs
- logic programming
- containment of conjunctive queries
- expressive power
- disjunctive datalog
- logic programs
- datalog programs with negation
- procedural semantics
- query answering
- query evaluation
- integrity constraints
- distance metric
- metric space
- existentially quantified
- euclidean distance
- fixpoint
- data sets
- query language
- distance measure
- predicate logic
- distance function
- transitive closure
- similarity metric
- metric learning
- query containment
- fixpoint semantics
- data complexity
- compositional semantics
- neural network
- normal form