A Deductive Database with Datalog and SQL Query Languages.
Fernando Sáenz-PérezRafael CaballeroYolanda García-RuizPublished in: APLAS (2011)
Keyphrases
- deductive databases
- query language
- query evaluation
- recursive queries
- fixpoint
- data model
- expressive power
- integrity constraints
- disjunctive deductive databases
- relational algebra
- conjunctive queries
- datalog programs
- object oriented
- logic programming
- database
- data complexity
- transitive closure
- update propagation
- regular expressions
- declarative semantics
- relational calculus
- xml data
- complex objects
- model theoretic
- relational databases
- query answering
- data types
- query optimization
- distributed systems
- aggregate functions
- general purpose
- software engineering
- fixpoint semantics