The Predicate Calculus-Language KS as a Query Language.
Werner DilgerGisela ZifonunPublished in: Logic and Data Bases (1977)
Keyphrases
- predicate calculus
- query language
- formal model
- first order logic
- lambda calculus
- semantic network
- predicate logic
- theorem proving
- theorem prover
- semantic net
- expressive power
- data model
- object oriented
- relational algebra
- query evaluation
- database
- relational calculus
- data mining
- logic programming
- text mining
- complex objects
- language constructs