Title: A decision procedure for semantical equivalence of thin FM specifications
Authors: Piessens, Frank ×
Steegmans, Eric #
Issue Date: Nov-1999
Publisher: Elsevier science bv
Series Title: Journal of Pure and Applied Algebra vol:143 issue:1-3 pages:351-379
Abstract: Several authors have proposed sketches as a suitable specification mechanism for specifying databases. When specifying a database, the finite models of the specification are of greatest importance, since an actual database is of course always a finite structure. In database theory however, it has recently been recognised that it is useful to allow for a restricted kind of infiniteness in the models of a data specification. The models are then so-called metafinite structures. In this paper, we consider a sketch-based specification of metafinite structures, and we develop and prove correct an algorithm to decide the semantical equivalence of the corresponding data specifications. To the best of the authors' knowledge, this is the first algorithm for deciding semantical equivalence for a non-trivial class of specifications for metafinite structures. (C) 1999 Elsevier Science B.V. All rights reserved. MSG: 18A15; 18A20; 18A25; 68P15.
ISSN: 0022-4049
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science