Can We Implement Logic as a Database System?
Michael KiferEliezer L. LozinskiiPublished in: XP7.52 Workshop on Database Theory (1986)
Keyphrases
- database systems
- relational database systems
- data model
- database management systems
- logic programming
- databases
- genetic algorithm
- deontic logic
- database design
- classical logic
- database technology
- modal logic
- spatial data management
- database
- predicate logic
- logical framework
- transaction management
- database server
- data types
- index structure
- programming language
- artificial intelligence