Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas

Anna Formica. Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas. IEEE Trans. Knowl. Data Eng., 14(1):123-139, 2002. [doi]

Abstract

Abstract is missing.