A Logical Framework for Active Rules.

Bertram Ludäscher Ulrich Hamann Georg Lausen

Published in: COMAD (1995)

Keyphrases

machine learning
logical framework
active rules
active databases
termination analysis
integrity constraints
inference rules
belief revision
deductive databases
object oriented databases
reasoning tasks
business rules
control flow
database
multi dimensional
spatial objects