language: en

A Rule-Based CQL for 2-Dimensional Tables

Mohand-Sad Hacid, Patrick Marcel, and Christophe Rigotti
Laboratoire d'Ingenierie des Systemes d'Information INSA Lyon,
B^atiment 501, F-69621 Villeurbanne Cedex

[Tel : 72 43 85 88 Fax: 72 43 87 13]

fmohand,patrick,crigg@lisi.insa-lyon.fr

Abstract. We describe the core of a rule-based CQL, devoted to the manipulation of 2-dimensional tabular databases. The rules provide a simple and declarative way to restructure and query tables, and the constraints allow to define cell contents by formulas over concrete domains. We define a model-theoretic semantics and develop an equivalent fixpoint theory that leads to a naive evaluation procedure.

1 Introduction