Abstract is missing.
- Chasing Programs in DatalogNieves R. Brisaboa, Agustin González, Héctor J. Hernández, José R. Paramá. 12-24
- SIC: Satisfiability Checking for Integrity ConstraintsFrançois Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge. 25-36
- Evaluating Linear Binary Programs by Traversing Automaton HierarchyYangjun Chen. 37-46
- Search, Analysis, and Integration of Web Documents: A Case Study with FLORIDRainer Himmeröder, Paul-Thomas Kandzia, Bertram Ludäscher, Wolfgang May, Georg Lausen. 47-58
- Spreadsheet Generation from Rule-Based SpecificationsJean-François Boulicaut, Patrick Marcel, Francois Pinet, Christophe Rigotti. 59-70
- Introduction to the Relationlog SystemRiqiang Shan, Mengchi Liu. 71-84
- User Defined Aggregates for Logical Data LanguagesHaixun Wang, Carlo Zaniolo. 85-97
- Overview of Datalog ExtensionsMengchi Liu. 99-112
- Universal Temporal Data LanguagesCindy Xinmin Chen, Carlo Zaniolo. 113-126
- Operational and Abstract Semantics of a Query Language for Semi-Structured InformationAgostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca. 127-140
- Logical Semantics and Languages for Databases with Partial and Complete Tuples and SetsMengchi Liu. 141-155