Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases.
Son Thanh CaoLinh Anh NguyenPublished in: Comput. Informatics (2019)
Keyphrases
- deductive databases
- query evaluation
- semantic query optimization
- query processing
- query language
- query optimization
- fixpoint
- probabilistic databases
- data complexity
- view definitions
- disjunctive deductive databases
- conjunctive queries
- data management
- integrity constraints
- integrity checking
- closed world assumption
- transitive closure
- user queries
- logic programming
- xml data
- database
- constraint checking
- declarative semantics
- database queries
- xpath queries
- datalog programs
- query containment
- complex queries
- model theoretic
- stable models
- range queries
- answering queries
- response time
- update propagation
- query rewriting
- recursive queries
- query result
- data sources
- knowledge base
- databases