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 BibTeX
François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. 25-36 BibTeX
Yangjun Chen: Evaluating Linear Binary Programs by Traversing Automaton Hierarchy. 37-46 BibTeX

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 BibTeX
Jean-François Boulicaut, Patrick Marcel, Francois Pinet, Christophe Rigotti: Spreadsheet Generation from Rule-Based Specifications. 59-70 BibTeX

System Demonstrations

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

Datalog Extensions

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

Semantics

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