Dynamic constraints and object migration

Theoretical Computer Science

Volumn 184, Issue 1-2, 1997, Pages 195-236

  Su, Jianwen ^a  

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RECURSIVE FUNCTIONS; SET THEORY;

MIGRATION PATTERNS; OBJECT MIGRATION; ROLE SETS;

CONSTRAINT THEORY;

EID: 0031224482     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00142-9     Document Type: Article

References (33)

1. S. Abiteboul and R. Hull, IFO: a formal semantic database model, ACM Trans. Database Systems 12(4) (1987) 525-565.
2. S. Abiteboul and V. Vianu, The connection of static constraints with determinism and boundness of dynamic specifications, in: C. Beeri, J.W. Schmidt and U. Dayal, eds., Proc. 3rd Internat. Conf. on Data and Knowledge Bases (Jerusalem, Israel, June 1988) 324-334.
3. S. Abiteboul and V. Vianu, Equivalence and optimization of relational transactions. J. ACM 35(1) (1988) 70-120.
4. S. Abiteboul and V. Vianu, A transaction-based approach to relational database specification, J. ACM 36(4) (1989) 758-789.
5. G.R. Andrews and F.B. Schneider, Concepts and notations for concurrent programming, ACM Comput. Surveys 15(1) (1983) 3-44.
6. T. Andrews and C. Harris, Combining language and database advances in an object-oriented development environment, in: Proc. Conf. on OOPSLA (1987) 430-440.
7. D. Beech, A foundation for evolution from relational to object databases, in: J.W. Schmidt, S. Ceri and M. Missikoff, eds., Advances in Database Technology - EDBT'88, Lecture Notes in Computer Science, Vol. 303 (Springer, Berlin 1988) 251-270.
8. N. Bidoit and S. De Amo, A first step towards implementing dynamic algebraic dependencies, in: G. Gottlob and M.Y. Vardi, eds., Proc. 5th Internat. Conf. on Database Theory, Lecture Notes in Computer Science, Vol. 893 (Springer, Prague, 1995) 308-321.
9. A. Borgida, J. Mylopoulos, J.W. Schmidt and I. Wetzel, Support for Data-Intensive Applications: Conceptual Design and Software Development, in: Proc. 2nd Internat. Workshop on Database Programming Languages, (1989).
10. M.L. Brodie, On modelling behavioural semantics of databases, in: Proc. Internat. Conf. on Very Large Data Bases(1981) 32-42.
11. M.L. Brodie and D. Ridjanovic, On the design and specification of database transactions, in: M.L. Brodie, J. Mylopoulos and J.W. Schmidt, eds., On Conceptual Modelling (Springer, New York, 1984) 277-306.
12. R.H. Campbell and A.N. Habermann, The specification of process synchronization by path expression, in: E. Gelenbe and C. Kaiser, eds., Proc. of Internat. Symp. on Operating Systems, Lecture Notes in Computer Science, Vol. 16 (Springer, Berlin 1974) 89-102.
13. M.A. Casanova and A.L. Furtado, On the description of database transition constraints using temporal constraints, in: H. Gallaire, J. Minker and J.M. Nicolas, eds., Advances in Data Base Theory, Vol. 2 (Plenum Press, New York, 1984) 221-236.
14. J. Chomicki, Real-time integrity constraints, in: ACM Symp. on Principles of Database Systems (1992).
15. G. Copeland and D. Maier, Making Smalltalk a database system, in: Proc. ACM SIGMOD Internat. Conf. on Management of Data (1984).
16. J.M.V. de Castilho, M.A. Casanova and A.L. Furtado, A temporal framework for specifications, in: Proc. Int. Conf. on Very Large Data Bases (1982) 280-291.
17. G. Dong and Q. Li, A framework for object migration in object-oriented databases, Data & Knowledge Eng. 13(3) (1994) 221-42.
18. G. Dong and J. Su, Object behaviors and scripts, in: Proc. 3rd Internat. Workshop on Database Programming Languages (1991).
19. M. E. El-Sharkawi and Y. Kambayashi, Object migration mechanisms to support updates in object-oriented databases, in: N. Rishe, S. Navathe and D. Tal, eds., Proc. PARBASE-90. Internat. Conf. on Databases, Parallel Architectures and Their Applications (1990) 378-387.
20. M. Hammer and D. McLeod, Database description with SDM: a semantic database model, ACM Trans. Database Systems 6(3) (1981) 351-386.
21. J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, (Addison-Wesley, Reading MA, 1979).
22. R. Hull and D. Jacobs, On the semantics of rules in database programming languages, in: J.W. Schmidt and A.A. Stogny, eds., Next Generation Information System Technology. First Int. East!West Data Base Workshop, Lecture Notes in Computer Science, Vol. 504 (Springer, Berlin, 1991).
23. R. Hull and R. King, Semantic data modeling: survey, applications, and research issues, ACM Comput. Surveys 19(3) (1987) 201-260.
24. R. King and D. McLeod, A database design methodology and tool for information systems, ACM Trans. Office Inform. Systems 3(1) (1985) 2-21.
25. C. Lecluse and P. Richard, Modeling complex structures in object-oriented databases, in: ACM Symp. on Principles of Database Systems (1989) 360-368.
26. 2: an object-oriented data model, in: Proc. ACM SIGMOD Internat. Conf. on Management of Data (Chicago, 1988) 424-433.
27. J. Mylopoulos, P.A. Bernstein and H.K. Wong, A language facility for designing database-intensive applications, ACM Trans. Database Systems 5(2) (1980) 185-207.
28. B.A. Nixon, K.L. Chung, D. Lauzon, A. Borgida, J. Mylopoulos and M. Stanley, Design of a compiler for a semantic data model, Tech. Report CSRI-44, Dept. of Computer Science, Univ. of Toronto, 1987.
29. B. Pernici, Objects with roles, in: Proc. Conf. on Office Information Systems (1990) 205-215.
30. E. Radeke and M. H. Scholl, Framework for object migration in federated database systems, in: Proc. Third Internat. Conf. on Parallel and Distributed Information Systems, Los Alamitos, CA (IEEE Comput. Soc. Press, Silver Spring, MD, 1994) 187-194.
31. E. Sciore, Object specialization, ACM Trans. Office Inform. Systems 7(2) (1989) 103-122.
32. V. Vianu, Dynamic functional dependencies and database aging, J. ACM 34(1) (1987) 28-59.
33. V. Vianu, Database survivability under dynamic constraints, Acta Inform. 25 (1988) 55-84.