Controlling logical inference in multilevel database systems.
Matthew MorgensternPublished in: IEEE Symposium on Security and Privacy (1988)
Keyphrases
- logical inference
- database systems
- theorem proving
- query processing
- probabilistic inference
- data model
- knowledge compilation
- database applications
- database
- logical structure
- data management
- databases
- database design
- integrity constraints
- database management systems
- database server
- object oriented
- multimedia
- artificial intelligence