Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas

No abstract is available for this paper.

• Publication year

  2002

• Venue

  IEEE Transactions on Knowledge and Data Engineering

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/69.979977
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Inheritance Hierarchy Design in Object-Oriented Databases

  1999cited by this paper
• An efficient method for checking object-oriented database schema correctness

  1998cited by this paper
• Effective logic computation

  1998cited by this paper
• SIC: Satisfiability Checking for Integrity Constraints

  1998cited by this paper
• Object-Oriented Database Schema Analysis and Inheritance Processing: A Graphtheoretic Approach

  1997cited by this paper
• Implication and Referential Constraints: A New Formal Reasoning

  1997cited by this paper
• iO2 - An Algorithmic Method for Building Inheritance Graphs in Object Database Design

  1996cited by this paper
• System Description: Generating Models by SEM

  1996cited by this paper
• Consistency Checking in Complex Object Database Schemata with Integrity Constraints

  1995cited by this paper
• Making object-oriented schemas more expressive

  1994cited by this paper
• MOSAICO—a system for conceptual modeling and rapid prototyping of object-oriented database application

  1994cited by this paper
• Constraint Satisfiability in Object-Oriented Databases

  1994cited by this paper
• Safe rapid prototyping of object-oriented database applications

  1994cited by this paper
• Deductive Entity-Relationship Modeling

  1993cited by this paper
• Integrity Constraints Representation in Object-Oriented Databases

  1992cited by this paper
• Querying object-oriented databases

  1992cited by this paper
• Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies

  1991cited by this paper
• Terminological Cycles: Semantics and Computational Properties

  1991cited by this paper
• Object orientation: concepts, languages, databases, user interfaces

  1990cited by this paper
• A Formal Approach to Object-Oriented Databases

  1990cited by this paper
• Object-Oriented Databases: Definition and Research Directions

  1990cited by this paper
• Logic and Databases: An Assessment

  1990cited by this paper
• A language facility for designing database-intensive applications

  1989cited by this paper
• Constraint analysis for specifying perspectives of class objects

  1989cited by this paper
• Principles of Database and Knowledge-Base Systems, Volume II

  1988cited by this paper
• Proving Finite Satisfiability of Deductive Databases

  1987cited by this paper
• Logical foundations of artificial intelligence

  1987cited by this paper
• Data model issues for object-oriented applications

  1987cited by this paper
• Integrity Checking in Deductive Databases

  1987cited by this paper
• On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata

  1987cited by this paper
• Formal properties of net-based knowledge representation schemes

  1986cited by this paper
• Checking Consistency of Database Constraints: a Logical Basis

  1986cited by this paper
• Object identity

  1986cited by this paper
• The Theory of Data Dependencies - An Overview

  1984cited by this paper
• A Semantics of Multiple Inheritance

  1984cited by this paper
• Data models

  1982cited by this paper
• A framework for data base semantic integrity

  1976cited by this paper

• A language agnostic approach to modeling requirements: specification and verification

  2020cites this paper
• Removing redundant multiplicity constraints in UML class models

  2018cites this paper
• Ontology-Based Finite Satisfiability of UML Class Model

  2018cites this paper
• A Constraint-Based Approach to Data Quality in Information Systems

  2017cites this paper
• Formal verification of static software models in MDE: A systematic review

  2014influential citation
• Pragmatic model verification

  2014cites this paper
• Комбинированный метод верификации масштабных моделей данных

  2014cites this paper
• A Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy

  2013cites this paper
• Finite satisfiability of UML class diagrams with constrained class hierarchy

  2013cites this paper
• Constraint-Based Data Quality Management Framework For Object Databases

  2013cites this paper
• Investigating a Constraint-Based Approach to Data Quality in Information Systems

  2013cites this paper
• Designing a New Assertion Constraints Model for Mobile Databases

  2012influential citation
• Construction of ontologies from object-oriented database models

  2011cites this paper
• I STITUTO DI A NALISI DEI S ISTEMI ED I NFORMATICA

  2009cites this paper
• I STITUTO DI A NALISI DEI S ISTEMI ED I NFORMATICA

  2009cites this paper
• Formica SATISFIABILITY OF OBJECT-ORIENTED DATABASE CONSTRAINTS WITH SET AND BAG ATTRIBUTES R . 549 Maggio 2001

  2009cites this paper
• The Constraints of Object-Oriented Databases

  2008cites this paper
• Enforcing User-Defined Constraints during the Run-Time in OODB

  2008cites this paper
• Decidable Reasoning in UML Schemas with Constraints

  2008cites this paper
• Conceptual modeling of information systems

  2007cites this paper
• THE DESIGN OF TEXT TO USE CASE DIAGRAM TOOL

  2007influential citation
• Variations on a Theme: A Bibliography onApproaches to Theorem ProvingInspired From Satchmo

  2005cites this paper
• Satisfiability of object-oriented database constraints with set and bag attributes

  2003cites this paper
• Consistency of the static and dynamic components of object-oriented specifications

  2002cites this paper
• A Language Agnostic Approach to Modeling Requirements: Specification and Verification

  year unknowncites this paper
• A Language Agnostic Approach to Modeling Requirements: Specification and Verification

  year unknowncites this paper
• A Language Agnostic Approach to Modeling Requirements: Specification and Verification

  year unknowncites this paper
• A Language Agnostic Approach to Modeling Requirements: Specification and Verification

  year unknowncites this paper
• A Language Agnostic Approach to Modeling Requirements: Specification and Verification

  year unknowncites this paper
• A Language Agnostic Approach to Modeling Requirements: Specification and Verification

  year unknowncites this paper
• A Language Agnostic Approach to Modeling Requirements: Specification and Verification

  year unknowncites this paper