Dynamic Database Logic: the First-order Case.
Paul SpruitRoel J. WieringaJohn-Jules Ch. MeyerPublished in: FMLDO (1992)
Keyphrases
- database
- databases
- database systems
- relational databases
- higher order
- data sets
- neural network
- query language
- first order logic
- linear temporal logic
- probabilistic logic
- finite model theory
- sound and complete with respect
- general logic programs
- digital circuits
- active databases
- database applications
- database management systems
- multi agent systems