6. DDLP 1998: Manchester, UK

Piero Fraternali, Ulrich Geske, Carolina Ruiz, Dietmar Seipel (Eds.): Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98. Manchester, United Kingdom, June 20, 1998. GMD Report 22. ISSN 1435-2702

Theoretical Aspects

Nieves R. Brisaboa, Agustin González, Héctor J. Hernández, José R. Paramá: Chasing Programs in Datalog. 12-24
François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. 25-36
Yangjun Chen: Evaluating Linear Binary Programs by Traversing Automaton Hierarchy. 37-46

Applications

Rainer Himmeröder, Paul-Thomas Kandzia, Bertram Ludäscher, Wolfgang May, Georg Lausen: Search, Analysis, and Integration of Web Documents: A Case Study with FLORID. 47-58
Jean-François Boulicaut, Patrick Marcel, Francois Pinet, Christophe Rigotti: Spreadsheet Generation from Rule-Based Specifications. 59-70

System Demonstrations

Riqiang Shan, Mengchi Liu: Introduction to the Relationlog System. 71-84

Datalog Extensions

Haixun Wang, Carlo Zaniolo: User Defined Aggregates for Logical Data Languages. 85-97
Mengchi Liu: Overview of Datalog Extensions. 99-112
Cindy Xinmin Chen, Carlo Zaniolo: Universal Temporal Data Languages. 113-126

Semantics

Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: Operational and Abstract Semantics of a Query Language for Semi-Structured Information. 127-140
Mengchi Liu: Logical Semantics and Languages for Databases with Partial and Complete Tuples and Sets. 141-155