Frank Piessens, Eric Steegmans  Home/Search
Context
Related
| cs.kuleuven.ac.be/~frank/P...JPAA99.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: cs.kuleuven.ac.be/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Active bibliography (related documents): More All
0.5: Entity-Relationship-Attribute Designs And Sketches - Johnson, Rosebrugh, Wood (2002) (Correct)
0.5: The Logic Of A Tos - Ryan Shelswell And (Correct)
0.4: Proving Semantical Equivalence of Data Specifications - Piessens, Steegmans (2005) (Correct)
Similar documents based on text: More All
0.2: Categorical Data-Specifications - Piessens, Steegmans (1995) (Correct)
0.2: Constraints in Object-Oriented Analysis and Design - Stefan Van Baelen (1994) (Correct)
0.2: Cv - Neven (Correct)
BibTeX entry: (Update)
@misc{ piessens-decision,
author = "Frank Piessens and Eric Steegmans",
title = "A Decision Procedure for Semantical Equivalence of Thin FM Specifications",
url = "citeseer.ist.psu.edu/piessens99decision.html" }
Citations (may not include all citations):637 The entity-relationship model -- towards a unified view of d.. (context) - Chen - 1976
90 and Victor Vianu (context) - Abiteboul, Hull - 1995
25 Algebraic graph-based approach to management of multibase sy.. - Cadish, Diskin - 1995
25 Handbook of Categorical Algebra (context) - Borceux - 1993
18 Locally Presentable and Accessible Categories (context) - Adamek, Rosicky - 1994
16 Theory and Applications of Categories (context) - Piessens, Steegmans - 1995
12 Prentice-Hall International Series in Computer Science (context) - Barr, Wells et al. - 1990
7 Selective attribute elimination for categorical data specifi.. (context) - Piessens, Steegmans - 1997
5 Semantic Data Specifications: an Analysis Based on a Categor.. (context) - Piessens - 1996
5 Canonical forms for dataspecifications (context) - Piessens, Steegmans - 1994
2 Entity-relationship models and sketches - Johnson, Rosebrugh et al. - 1997
2 Proving semantical equivalence of data specifications - Piessens, Steegmans - 1997
1 A mathematical foundation for era (context) - Johnson, Dampney - 1992
1 Finite satisfiability and equivalence of finitary sketches (context) - Piessens - 1998
1 to appear in Applied Categorical Structures (context) - Adamek, Rosicky et al. - 1995
1 Finitary sketches - Adamek, Johnstone et al. - 1996
1 Metafinite model theory - Gradel, Gurevich - 1995
1 to appear in Journal of Symbolic Logic (context) - Adamek, Rosicky - 1995
1 Finite models of sketches (context) - Adamek, Rosicky - 1995
Documents on the same site (http://www.cs.kuleuven.ac.be/~frank/publications.htm): More
What Vs. How Of Visual Modeling: The Arrow Logic Of.. - Diskin, Kadish, Piessens (Correct)
Proving Semantical Equivalence of Data Specifications - Piessens, Steegmans (2005) (Correct)
Software Security: Experiments on the .NET Common.. - Piessens, Jacobs, Joosen (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC