Many-Sorted First-Order Logic Database Language.
J. S. H. YangYeh-Hao ChinC. G. ChungPublished in: Comput. J. (1992)
Keyphrases
- first order logic
- database language
- expressive power
- relational databases
- programming language
- theorem proving
- knowledge representation
- database schema
- data model
- relational algebra
- transitive closure
- theorem prover
- machine learning
- object oriented
- integrity constraints
- data types
- database design
- stored procedures
- databases