1,073
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Consistency Checking in Complex Object Database Schemata with Integrity Constraints

      Published
      proceedings-article
      , , ,
      Proceedings of the Fifth International Workshop on Database Programming Languages (DBPL-5)
      Database Programming Languages
      6-8 September 1995
      Bookmark

            Abstract

            Integrity constraints are rules which should guarantee the integrity of a database. Provided that an adequate mechanism to express them is available, the following question arises: is there any way to populate a database which satisfies the constraints supplied by a designer? i.e., does the database schema, including constraints, admit at least one model in which all classes are non-empty? This work gives an answer to the above question in an OODB environment, providing a Data Definition Language (DDL) able to express the semantics of a relevant set of state constraints and a specialized reasoner able to check the consistency of a schema with such constraints. The choice of the set of constraints expressed in the DDL is motivated by decidability issues.

            Content

            Author and article information

            Conference
            September 1995
            September 1995
            : 1-10
            Affiliations
            [0001]Dipartimento di Scienze dell' Ingegneria, Università di Modena - CSITE-CNR
            [0002]Dipartimento di Elettronica, Informatica e Sistemistica, Università di Bologna - CSITE-CNR
            Article
            10.14236/ewic/DBPL1995.3
            b54213c1-367a-4ab9-8ab5-eb26ffe01846
            © D. Beneventano et al. Published by BCS Learning and Development Ltd. Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the Fifth International Workshop on Database Programming Languages
            DBPL-5
            5
            Gubbio, Umbria, Italy
            6-8 September 1995
            Electronic Workshops in Computing (eWiC)
            Database Programming Languages
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/DBPL1995.3
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article