A formalism for views in a logic data base.
José Carlos Ferreira Maia NevesGeorge F. LuggerJoão M. CarvalhoPublished in: ACM Conference on Computer Science (1986)
Keyphrases
- database
- logical framework
- computational properties
- formal theory
- knowledge representation formalisms
- formal logic
- databases
- knowledge representation
- multiple views
- formal language
- automated reasoning
- predicate logic
- modal operators
- modal logic
- view synthesis
- logic programming
- classical logic
- proof theory
- data base management systems
- data sets
- causal reasoning
- description logics
- nonmonotonic logics
- operational semantics
- defeasible logic
- materialized views
- object oriented
- data model
- relational databases
- transition systems