Fundamental concepts of object oriented databases

Acta Cybernetica

Volumn 11, Issue 1-2, 1993, Pages 49-83

  Schewe, K D ^a   Thalheim, B ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

RELATIONAL DATABASE SYSTEMS;

FORMAL FOUNDATION; FUNDAMENTAL CONCEPTS; INTEGRITY CONSTRAINTS; MATHEMATICAL THEORY; OBJECT IDENTIFICATION; RELATIONAL DATABASE; RELATIONAL MODEL; STATIC CONSTRAINTS;

OBJECT-ORIENTED DATABASES;

EID: 0346563352     PISSN: 0324721X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (65)

1. S. Abiteboul: Towards a deductive object-oriented database language, Data & Knowledge Engineering, vol. 5, 1990, pp. 263-287
2. S. Abiteboul, R. Hull: IFO: A Formal Semantic Database Model, ACM ToDS, vol. 12 (4), December 1987, pp. 525-565
3. S. Abiteboul, P. Kanellakis: Object Identity as a Query Language Primitive, in Proc. SIGMOD, Portland Oregon, 1989, pp. 159-173
4. A. Albano, G. Ghelli, R. Orsini: Types for Databases: The Galileo Experience, in Type Systems and Datahase Programming Languages, University of St. Andrews, Dept. of Mathematical and Computational Sciences, Research Report CS/90/3, 27-37.
5. A. Albano, A. Dearie, G. Ghelli, G. Marlin, R. Morrison, R. Orsini, D. Stemple: A Framework for Comparing Type Systems for Database Programming Languages, in Type Systems and Database Programming Languages, University of St. Andrews, Dept. of Mathematical and Computational Sciences, Research Report CS/90/3, 1990
6. A. Albano, G. Ghelli, R. Orsini: Objects and Glasses for a Database Programming Language, FIDE technical report 91/16, 1991
7. A. Albano, G. Ghelli, R. Orsini: A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language, in A. Sernadas (Ed.): Proc. VLDB 91, Barcelona 1991
8. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, S. Zdonik: The Object-Oriented Database System Manifesto', Proc. 1st DOOD, Kyoto 1989
9. 2, an Object-Oriented Database System, Proc. of the ooDBS II workshop, Bad Münster, FRG, September 1988
10. C. Beeri: Formal Models for Object-Oriented Databases, Proc. 1st DOOD 1989, pp. 370-395
11. C. Beeri: A formal approach to object-oriented databases, Data and Knowledge Engineering, vol. 5 (4), 1990, pp. 353-382
12. C. Beeri, Y. Kornatzky: Algebraic Optimization of Object-Oriented Query Languages, in S. Abiteboul, P. C. Kanellakis (Eds.): Proc. ICDT '90, Springer LNCS 470, pp. 72-88
13. C. Beeri: New Data Models and Languages - the Challange in Proc. PODS '92
14. L. Cardelli, P. Wegner: On Understanding Types, Data Abstraction and Polymorphism, ACM Computing Suerveys 17, 4, pp 471-522
15. L. Cardelli: Typeful Programming, Digital Systems Research Center Reports 45, DEC SRC Palo Alto, May 1989
16. M. Carey, D. DeWitt, S. Vandenberg: A Data Model and Query Language for EXODUS, Proc. ACM SIGMOD 88
17. M. Caruso, E. Sciore: The VISION Object-Oriented Database Management System, Proc. of the Workshop on Database Programming Languages, Roscoff, France, September 1987
18. S. Ceri, J. Widom: Deriving Production Rules for Constraint Maintenance, Proc. 16th Conf. on VLDB, Brisbane (Australia), August 1990, pp. 566-577
19. A. Dearie, R. Connor, F. Brown, R. Morrison: Napier88 - A Database Programming Language?, in Type Systems and Database Programming Languages, University of St. Andrews, Dept. of Mathematical and Computational Sciences, Research Report CS/90/3, 10-26
20. E. W. Dijkstra, C. S. Scholten: Predicate Calculus and Program Semantics, Springer-Verlag, 1989
21. H.-D. Ehrich, M. Gogolla, U. Lipeck: Algebraische Spezifikation abstrakter Datentypen, Teubner-Verlag, 1989
22. H.-D. Ehrich, A. Sernadas: Fundamental Object Concepts and Constructors, in G. Saake, A. Sernadas (Eds.): Information Systems - Correctness and Reusability, TU Braunschweig, Informatik Berichte 91-03, 1991
23. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification, Vol.1, Springer 1985
24. L. Fegaras, T. Sheard, D. Stemple: The ADABTPL Type System, in Type Systems and Database Programming Languages, University of St. Andrews, Dept. of Mathematical and Computational Sciences, Research Report CS/90/3, 45-6
25. L. Fegaras, T. Sheard, D. Stemple: Uniform Traversal Combinators: Definition, Use and Properties, University of Massachusetts, 1992
26. D. Fishman, D. Beech, H. Cate, E. Chow et al.: IRIS: An Object-Oriented Database Management System, ACM ToIS, vol. 5(1), January 1987
27. P. Fraternali, S. Paraboschi, L. Tanca: Automatic Rule Generation for Constraint Enforcement in Active Databases, in U. Lipeck (Ed.): Proc. 4th Int. Workshop on Foundations of Models and Languages for Data and Objects "MODELLING DATABASE DYNAMICS", Volkse (Germany), October 19-22, 1992
28. G. Gottlob, G. Rappel, M. Schrefl: Semantics of Object-Oriented Data Models - The Evolving Algebra Approach, in J. W. Schmidt, A. A. Stognij (Eds.): Proc. Next Generation Information Systems Technology, Springer LNCS, vol. 504, 1991
29. M. Hammer, D. McLeod: Database Description with SDM: A Semantic Database Model, J. ACM, vol. 31 (3), 1984, pp. 351-386
30. A. Heuer, P. Sander: Classifying Object-Oriented Results in a Class/Type Lattice, in B. Thalheim et al. (Ed.): Proceedings MFDBS 91, Springer LNCS 495, pp. 14-28
31. R. Hull, R. King: Semantic Database Modeling: Survey, Applications and Research Issues, ACM Computing Surveys, vol. 19(3), September 1987
32. R. Hull, M. Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers, in Proc. 16th VLDB, Brisbane (Australia), 1990, pp. 455-67
33. A. P. Karadimce, S. D. Urban, Diagnosing Anomalous Rule Behaviour in Databases with Integrity Maintenance Production Rules, in Proc. 3rd Int. Workshop on Foundations of Models and Languages for Data and Objects, Aigen (Austria), September 1991, pp. 77-102
34. S. Khoshafian, G. Copeland: Object Identity, Proc. 1st Int. Conf. on OOPSLA, Portland, Oregon, 1986.
35. M. Kifer, J. Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited), in PODS'89, pp. 379-393
36. W. Kim, N. Ballou, J. Banerjee, H. T. Chou, J. Garza, D. Woelk: Integrating an Object-Oriented Programming System with a Database System, in Proc. OOPSLA 1988
37. D. Maier, J. Stein, A. Ottis, A. Purdy: Development of an Object-Oriented DBMS, OOPSLA, September 1986
38. F. Matthes, J. W. Schmidt: Bulk Types - Add-On or Builtin?, in Proc. DBPL III, Nafplion 1991
39. J. Mylopoulos, P. A. Bernstein, H. K. T. Wong: A Language Facility for Designing Interactive Database-Intensive Applications, ACM ToDS, vol. 5 (2), april 1980, pp. 185-207
40. J. Mylopoulos, A. Borgida, M. Jarke, M. Koubarakis: Telos: Representing Knowledge About Information Systems, ACM ToIS, vol. 8 (4), October 1990 pp. 325-362
41. G. Nelson: A Generalization of Dijkstra's Calculus, ACM TOPLAS, vol. 11 (4), October 1989, pp. 517-561
42. A. Ohori: Representing Object Identity in a Pure Functional Language, Proc. ICDT 90, Springer LNCS, pp. 41-55
43. G. Saake, R. Jungclaus: Specification of Database Applications in the TROLL Language, in Proc. Int. Workshop on the Specification of Database Systems, Glasgow, 1991
44. K.-D. Schewe, I. Wetzel, J. W. Schmidt: Towards a Structured Specification Language for Database Applications, in D. Harper, M. Norrie (Eds.): Proc. Int. Workshop on the Specification of Database Systems, Springer WICS, 1991, pp. 255-274 (an extended version appeared as FIDE technical report 1991/30, October 1991)
45. K.-D. Schewe, B. Thalheim, I. Wetzel, J. W. Schmidt: Extensible Safe Object-Oriented Design of Database Applications, University of Rostock, Preprint CS-09-91, September 1991
46. K.-D. Schewe: Spezifikation datenintensiver Anwendungssysteme (in German), lecture manuscript, University of Hamburg, Winter 1991/92
47. K.-D. Schewe, J. W. Schmidt, I. Wetzel: Identification, Genericity and Consistency in Object-Oriented Databases, in J. Biskup, R. Hull (Eds.): Proc. ICDT '92, Springer LNCS 646, pp. 341-356
48. K.-D. Schewe, B. Thalheim, J. W. Schmidt, I. Wetzel: Integrity Enforcement in Object-Oriented Databases, in U. Lipeck, B. Thalheim (Eds.): Proc. 4th Int. Workshop on Foundations of Models and Languages for Data and Objects "MODELLING DATABASE DYNAMICS", Volkse (Germany), October 19-22, 1992
49. K.-D. Schewe, B. Thalheim, I. Wetzel: Foundations of Object 0 riented Database Concepts, University of Hamburg, Report FBI-HH-B-157/92, October 1992
50. K.-D. Schewe, J. W. Schmidt, D. Stemple, B. Thalheim, I. Wetzel: A Reflective Approach to Method Generation in Object Oriented Databases, University of Rostock, Rostocker Informatik Berichte, no. 14, 1992
51. K.-D. Schewe, B. Thalheim: Computing Consistent Transactions, University of Rostock, Preprint CS-08-92, December 1992
52. K.-D. Schewe, B. Thalheim, I. Wetzel: Integrity Preserving Updates in Object Oriented Databases, in M. Orlowska, M. Papazoglou (Eds.): Proc. 4th Australian Database Conference, Brisbane, February 1993, World Scientific, pp. 171-185
53. K.-D. Schewe, B. Thalheim: Exceeding the 'Limits of Rule Triggering Systems to Achieve Consistent Transactions, submitted for publication
54. M. H. Scholl, H.-J. Schek: A Relational Object Model, in Proc. ICDT 90, Springer LNCS, pp. 89-105
55. G. M. Shaw, S. B. Zdonik: An Object-Oriented Query-Algebra, IEEE Data Engineering, vol. 12 (3), 1989, pp. 29-36
56. D. Stemple, T. Sheard, L. Fegaras: Reflection: A Bridge from Programming to Database Languages, in Proc. HICSS '92
57. D. Stemple, S. Mazumdar, T. Sheard: On the Modes and Meaning of Feedback to Transaction Designer, in Proc. SIGMOD 1987, pp. 375-386
58. D. Stemple, T. Sheard: Automatic Verification of Database Transaction Safety, ACM ToDS vol. 14 (3), September 1989
59. M. Stonebraker, A. Juingran, J. Goh, S. Potaminos: On Rules, Procedures, Caching and Views in Database Systems, in Proc. SIDMOD 1990, pp. 281-290
60. S. Y. W. Su: SAM: A Semantic Association Model for Corporate and Scientific-Statistical Databases, Inf. Sci., vol. 29, 1983, pp. 151-199
61. B. Thalheim: Dependencies in Relational Databases, Teubner Leipzig, 1991
62. B. Thalheim: The Higher-Order Entity-Relationship Model, in J. W. Schmidt, A. A. Stognij (Eds.): Proc. Next Generation Information Systems Technology, Springer LNCS, vol. 504, 1991
63. S. D. Urban, L. Delcambre: Constraint Analysis: a Design Process for Specifying Operations on Objects, IEEE Trans. on Knowledge and Data Engineering, vol. 2 (4), December 1990
64. J. Widom, S. J. Finkelstein: Set-oriented Production Rules in Relational Database Systems, in Proc. SIGMOD 1990, pp. 259-270
65. Y. Zhou, M. Hsu: A Theory for Rule Triggering Systems, in Proc. EDBT '90, Springer LNCS 416, pp. 407-421