Proceedings of the Workshop on Deductive Databases and Logic Programming, ICLP-Workshop on Deductive Databases (2nd). Held in Santa Margherita Ligure, Italy on June 17, 1994

摘要

;Contents: A Simple Model for Active Rules and their Behavior in DeductiveDatabases; Expressive Power of Non-deterministic Operators for Logic-based Languages; Representing Objects as Modules in Deductive Databases; Static Analysis of Transactional Intensional Databases; Determining Correct View Update Translations via Query Containment; On Expressing Stratified Datalog; Constraint Stratification in Deductive Databases; Dynamic Argument Reduction for In-memory Data Queries; One-Phase Magic-sets Transformation; A Deductive Database Solution to the Preferential Vote Counting Problem; Constraint-Based Reasoning in Geographic Databases: the Case of Symbolic Arrays.