Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility.
Ilmir Kh. MusikaevMichael A. TaitslinPublished in: Int. J. Found. Comput. Sci. (1995)
Keyphrases
- formal semantics
- databases
- computational complexity
- er model
- database
- logical language
- operational semantics
- formal language
- database applications
- relational databases
- modeling language
- expert systems
- first order logic
- np hard
- modelling language
- logical reasoning
- logic programming
- data management
- database systems
- knowledge representation
- data model
- data warehouse
- ontology languages