Deductive object-oriented database systems: A survey.- Integrating dynamic aspects into deductive object-oriented databases.- FOLRE: A deductive database system for the integrated treatment of updates.- An introduction to the TriggerMan asynchronous trigger processor.- Logging and post-mortem analysis of workflow executions based on event histories.- Rule modelling and simulation in ALFRED.- Using the properties of datalog to prove termination and confluence in active databases.- On confluence property of active databases with meta-rules.- An implementation and evaluation of the Refined Triggering Graph method for active rule termination analysis.- Investigating termination in active database systems with expressive rule languages.- On control flow testing of active rules in a declarative object-oriented framework.- Validating active rules by planning.- Active-design: A generic toolkit for deriving specific rule execution models.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want