Active-U-Datalog: Integrating Active Rules in a Logical Update Language.
Elisa BertinoBarbara CataniaVincenzo GervasiAlessandra RaffaetàPublished in: Transactions and Change in Logic Databases (1998)
Keyphrases
- active rules
- active databases
- deductive databases
- integrity constraints
- relational query languages
- termination analysis
- active database systems
- eca rules
- database technology
- programming language
- natural language
- relational model
- logic programming
- object oriented databases
- description language
- fine grained
- abstract interpretation
- database systems