Logics for Databases and Infor-mation Systems

A solution to get the problem off, have you found it? Really? What kind of solution do you resolve the problem? From what sources? Well, there are so many questions that we utter every day. No matter how you will get the solution, it will mean better. You can take the reference from some books. And the logics for databases and information systems is one book that we really recommend you to read, to get more solutions in solving this problem.

[1]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[2]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[3]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[4]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[5]  Diego Calvanese,et al.  Making object-oriented schemas more expressive , 1994, PODS '94.

[6]  Maurizio Lenzerini,et al.  Inheritance hierarchies in knowledge representation and programming languages , 1991 .

[7]  Moshe Y. Vardi,et al.  Polynomial-time implication problems for unary inclusion dependencies , 1990, JACM.

[8]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[9]  Maurizio Lenzerini,et al.  On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata , 1987, VLDB.

[10]  Werner Nutt,et al.  Terminological Systems Revisited: Terminology = Schema + Views , 1994, KRDB.

[11]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[12]  Ronald Fagin,et al.  Inclusion Dependencies and Their Interaction with Functional Dependencies , 1984, J. Comput. Syst. Sci..

[13]  F. Lehmann,et al.  Semantic Networks in Artificial Intelligence , 1992 .

[14]  Diego Calvanese,et al.  Unrestricted and finite model reasoning in class-based representation formalisms , 1996 .

[15]  Francesco M. Donini,et al.  Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.

[16]  Antonio L. Furtado,et al.  Enforcing Inclusion Dependencies and Referencial Integrity , 1988, VLDB.

[17]  Stefano Spaccapietra,et al.  Cardinality Consistency of Derived Objects in DOOD Systems , 1994, ER.

[18]  Sonia Bergamaschi,et al.  On taxonomic reasoning in conceptual design , 1992, TODS.

[19]  Francesca Cesarini,et al.  Describing Database Objects in a Concept Language Environment , 1996, IEEE Trans. Knowl. Data Eng..

[20]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[21]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[22]  Klaus Schild,et al.  Terminological Cycles and the Propositional µ-Calculus , 1994, KR.

[23]  Toby J. Teorey,et al.  Database modeling and design: the entity-relationship approach , 1990 .

[24]  Bernhard Thalheim,et al.  Fundamentals of Cardinality Constraints , 1992, ER.

[25]  Shamkant B. Navathe,et al.  Conceptual Database Design: An Entity-Relationship Approach , 1991 .

[26]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[27]  John Grant,et al.  Numerical Dependencies , 1981, XP2 Workshop on Relational Database Theory.

[28]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

[29]  Maurizio Lenzerini,et al.  Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus , 1994, ECAI.

[30]  Diego Calvanese,et al.  A Unified Framework for Class-Based Representation Formalisms , 1994, KR.

[31]  Maurizio Lenzerini,et al.  Deductive Entity-Relationship Modeling , 1993, IEEE Trans. Knowl. Data Eng..

[32]  Maurizio Lenzerini,et al.  Representing and Using Interschema Knowledge in Cooperative Information Systems , 1993, Int. J. Cooperative Inf. Syst..

[33]  A. Mével,et al.  Classes and Instances , 1987 .

[34]  Klaus-Dieter Schewe,et al.  Term Subsumption with Type Constructors , 1992, CIKM 1992.

[35]  Franz Baader,et al.  Qualifying Number Restrictions in Concept Languages , 1991, KR.

[36]  Renzo Orsini,et al.  A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language , 1991, VLDB.

[37]  Diego Calvanese,et al.  Finite Model Reasoning in Description Logics , 1996, KR.

[38]  Diego Calvanese,et al.  On the interaction between ISA and cardinality constraints , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

[39]  Alexander Borgida.  From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics , 1992, Int. J. Cooperative Inf. Syst..

[40]  Stavros S. Cosmadakis,et al.  Functional and Inclusion Dependencies , 1986, Adv. Comput. Res..

[41]  Diego Calvanese,et al.  Structured Objects: Modeling and Reasoning , 1995, DOOD.

[42]  Richard Hull,et al.  Managing semantic heterogeneity in databases: a theoretical prospective , 1997, PODS.

[43]  John Grant,et al.  Inferences for Numerical Dependencies , 1985, Theor. Comput. Sci..