Sciweavers

FOIKS
2004
Springer
13 years 8 months ago
Simplification of Integrity Constraints for Data Integration
When two or more databases are combined into a global one, integrity may be violated even when each database is consistent with its own local integrity constraints. Efficient metho...
Henning Christiansen, Davide Martinenghi
FOIKS
2004
Springer
13 years 10 months ago
Plan Databases: Model and Algebra
Despite the fact that thousands of applications manipulate plans, there has been no work to date on managing large databases of plans. In this paper, we first propose a formal mod...
Fusun Yaman, Sibel Adali, Dana S. Nau, Maria Luisa...
FOIKS
2004
Springer
13 years 10 months ago
Implementing Ordered Choice Logic Programming using Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
Marina De Vos
FOIKS
2004
Springer
13 years 10 months ago
Towards a Generalized Interaction Scheme for Information Access
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...
Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos
FOIKS
2004
Springer
13 years 10 months ago
Equivalence of OLAP Dimension Schemas
Abstract. Dimension schemas are abstract models of the data hierarchies that populate OLAP warehouses. Although there is abundant work on schema equivalence in a variety of data mo...
Carlos A. Hurtado, Claudio Gutiérrez
FOIKS
2004
Springer
13 years 10 months ago
Abstract State Machines: An Overview of the Project
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
Yuri Gurevich
FOIKS
2004
Springer
13 years 10 months ago
Query Answering and Containment for Regular Path Queries under Distortions
Abstract. We give a general framework for approximate query processing in semistructured databases. We focus on regular path queries, which are the integral part of most of the que...
Gösta Grahne, Alex Thomo
FOIKS
2004
Springer
13 years 10 months ago
Database Repair by Signed Formulae
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Mau...