Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes.
Eduard KamburjanEgor V. KostylevPublished in: Description Logics (2021)
Keyphrases
- type checking
- query containment
- conjunctive queries
- query answering
- np complete
- transitive closure
- data types
- integrity constraints
- decision procedures
- relational calculus
- query optimization
- natural language
- query processor
- query evaluation
- regular expressions
- object model
- database systems
- data exchange
- fixpoint
- heterogeneous data
- logic programming
- abstract data types
- semantic information