A Model-Theoretic Semantics of the Multilevel Relational Model.
Xiaolei QianPublished in: EDBT (1994)
Keyphrases
- model theoretic
- relational model
- data model
- operational semantics
- deductive databases
- relational databases
- description logics
- functional dependencies
- proof theoretic
- database technology
- relational algebra
- decision procedures
- logic programs
- default reasoning
- relational database systems
- complex objects
- integrity constraints
- fixpoint
- probabilistic reasoning
- incomplete information
- conceptual model
- spatial databases
- object oriented
- database
- database management systems
- knowledge representation
- database systems
- formal semantics
- data mining
- modal logic
- xml schema
- high level
- xml documents
- inference rules
- data integration
- database applications
- data management
- knowledge base
- query language