A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.
Marco BozzanoGiorgio DelzannoMaurizio MartelliPublished in: APPIA-GULP-PRODE (1997)
Keyphrases
- active databases
- object oriented
- linear logic
- active rules
- database technology
- proof theoretic
- logic programming
- logical framework
- object oriented databases
- termination analysis
- programming language
- eca rules
- event condition action
- database applications
- data modeling
- fixed point
- relational databases
- sequent calculus
- data model
- database design
- cut elimination
- desirable properties
- software engineering
- integrity constraints
- formal semantics
- logic programs
- query language
- description language
- deductive databases
- data warehousing
- database schema
- reasoning tasks
- knowledge representation
- proof theory
- general purpose
- temporal databases
- answer set programming