Formalization of the binary object-role model based on logic

Data and Knowledge Engineering

Volumn 19, Issue 1, 1996, Pages 1-37

  De Troyer, Olga ^a  

^a TILBURG UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; FORMAL LOGIC; MANY VALUED LOGICS; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES;

BINARY OBJECT ROLE MODEL; CONCEPTUAL MODELS; DATA SCHEMA; FIRST ORDER LOGIC; INTEGRITY CONSTRAINTS; LEXICAL REFERENCEABILITY; MANY SORTED LOGIC;

DATA STRUCTURES;

EID: 0030148660     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/0169-023X(95)00045-T     Document Type: Article

References (38)

1. P. van Bommel A.H.M. ter Hofstede Th.P. van der Weide Semantics and verification of object-role models Information Systems 16 5 1991 471 495
2. G. Booch Object-Oriented Design with Applications 1991 Benjamin/Cummings Redwood City, California
3. G.H.W.M. Bronts S.J. Brouwer C.L.J. Martens H.A. Proper A unifying object role modelling approach Information Systems 20 3 1995 213 235
4. P.P. Chen The Entity-Relationship model: Towards a unified view of data ACM Trans. Database Systems 1 1 1976 471 522
5. P.N. Creasy A formalisation of the NIAM conceptual information model 1983 Dept. of Computer Science, Australian National University
6. P. Creasy W. Hesse Two-level NIAM: A way to get it object-oriented T.W. Olle A.A. Verrijn-Stuart Proc. IFIP WG 8.1 CRIS-94 Conference on Methods and Associated Tools for the Information Life Cycle The Netherlands 1994 109 221
7. O. De Troyer R. Meersman F. Ponsaert RIDL, User Guide, Control Data Brussel 1984
8. O. De Troyer R. Meersman Transformation conceptual schema semantics to relational data applications H. Kangassallo Information Modelling and Database Management 1987 Springer Verlag
9. ∗ on the CRIS case: A workbench for NIAM T.W. Olle A.A. Verrijn-Stuart L. Bhabuta Computer Assistance During the Information Systems Life Cycle (CRIS-88) 1988 Elsevier Science Publishers B.V North-Holland 375 459
10. O. De Troyer On rule-base generation of conceptual database updates R.A. Meersman A. Sernadas Proc. IFIP TC2 Working Conference on Knowledge and Data 1986 North-Holland
11. ∗: A tool for the computer-assisted engineering of large databases in the presence of integrity constraints Proc. ACM-SIGMOD International Conference on Management of Data 1989 ACM Press 418 429
12. O. De Troyer The OO-Binary Relationship Model: A Truly Object-Oriented Conceptual Model R. Andersen J.A. Bubenko Jr. A. Sølvberg Advanced Information Systems Engineering 2nd edition Proc. CAISE '91, Lecture Notes in Computer Science 498 1991 Springer-Verlag 561 578
13. O. De Troyer R. Janssen On modularity for conceptual data models and the consequences for subtyping, inheritance and overriding Proc. 9th IEEE Conference on Data Engineering (ICDE 93) 1993 IEEE Computer Society Press 678 685
14. O. De Troyer On data schema transformations 2nd edition Ph.D. Thesis 1993 Tilburg University The Netherlands ISBN 90-900591-3-X
15. O. De Troyer DM-Logic: A logical framework for different data models Technical Report 1994 Tilburg University
16. O. De Troyer A logical formalization of the Binary Object Role Model T. Halpin R. Meersman Proc. 1st Int. Conf. on Object Role Modelling, ORM-1 1994 University of Queensland
17. O. De Troyer R. Meersman A logic framework for a semantics of object oriented data modelling Proc. 14th Object-Oriented and Entity-Relationship Modelling (OO-ER' 95) Gold Coast Australia 2nd edition Lecture Notes in Computer Science 1021 1995 Springer 238 249
18. H. Gallaire J. Minker Logic and Databases 1978 Plenum Press New York
19. H. Gallaire J. Minker J.-M. Nicolas Logic and databases: A deductive approach Computer Surveys 16 2 1984 153 185
20. T.A. Halpin A logical analysis of information systems: Static aspects of the data-oriented perspective 2nd edition Ph.D. Thesis 1989 Department of Computer Science, University of Queensland Australia
21. T.A. Halpin Conceptual Schema and Relational Database Design 2nd edition 1995 Prentice Hall
22. A.H.M. ter Hofstede H.A. Proper Th.P. van der Weide Formal definition of a conceptual language for the description and manipulation of information models Information Systems 18 7 1993 489 523
23. ISO TC97/SC5/WG3, Concepts and terminology for the conceptual schema and the information base ISO/TC97-N695 1982
24. M. Kifer G. Lausen F-logic: A higher-order language for reasoning about objects, inheritance, and scheme Proc. ACM SIGMOD '89 1989 134 146
25. Y. Kornatzky P. Shoval Conceptual design of object-oriented database schemas using the binary-relationship model Data & Knowledge Engrg. 14 1994 265 288
26. J.I. McCormack T.A. Halpin P.R. Ritson Automated mapping of conceptual schemas to relational schemas 2nd edition C. Rolland F. Bodart C. Cauvet Proc. Fifth Int. Conf. CAiSE'93 on Advanced Information Systems Engineering, Lecture Notes in Computer Science volume 685 1993 Springer-Verlag 432 448
27. J. Mylopoulos M.L. Brodie Readings in Artificial Intelligence & Databases 1989 Morgan Kaufmann
28. L. Mark D. Munns Database prototyping in the binary model, a scenario Technical Report 1989 Institute of Advanced Computer Studies, University of Maryland
29. G.M. Nijssen T.A. Halpin Conceptual Schema and Relational Database Design 1989 Prentice Hall
30. R. Reiter Towards a logical reconstruction of relational database theory M.L. Brodie J. Mylopoulos J.W. Schmidt On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages 1984 Springer Verlag New York 301 326 (or in [26])
31. R. Reiter Deductive Question-answering on relational databases H. Gallaire J. Minker Logic and Databases 1978 Plenum Press New York 149 178
32. P.R. Ritson Use of conceptual schemas for a relational implementation 2nd edition Ph.D. Thesis 1994 University of Queensland Brisbane, Australia
33. J. Rumbaugh M. Blaha W. Premerlani F. Eddy W. Lorenson Object-Oriented Modeling and Design 1991 Prentice-Hall Englewood Cliffs, New Jersey
34. C. Sernadas J. Fiadeiro R. Meersman A. Sernadas Proof-theoretic conceptual modelling: The NIAM case study Proc. IFIP TC8/WG8.1 Working Conference on Information System Concepts: An In-depth Analysis 1989 North-Holland 1 30
35. P. Shoval M. Even-Chaime ADDS: A system for automatic database schema design based on the binary-relationship model Data & Knowledge Engrg. 2 1987 123 144
36. P. Shoval N. Shreiber Database reserse engineering: From the relational to the binary relationship model Data & Knowledge Engrg. 10 1993 293 315
37. G. Verheijen J. van Bekkum NIAM: An information analysis method A.A. Verrijn-Stuart T.W. Olle H. Sol Proc. IFIP TC-8 Conference on Comparative Review of Information Systems Methodologies 1982 North-Holland 537 589 (CRIS-1)
38. J.J. Wintraecken The NIAM Information Analysis Method - Theory and Practice 1990 Kluwer Academic Publishers Dordrecht, The Netherlands