Incremental View Materialization in Deductive Databases.
Wang-Chan WongLubomir BicPublished in: Comput. Artif. Intell. (1999)
Keyphrases
- deductive databases
- update propagation
- integrity constraints
- logic programming
- query evaluation
- disjunctive deductive databases
- fixpoint
- view definitions
- integrity checking
- semantic query optimization
- view selection
- declarative language
- closed world assumption
- model theoretic
- query language
- distributed databases
- hypothetical reasoning
- multiple inheritance
- constraint checking
- materialized views
- declarative semantics
- logic programs
- data warehouse
- databases
- view maintenance
- database
- data cube
- data model
- data analysis
- artificial intelligence
- machine learning