ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Dynamic Constraints and Object Migration.

Jianwen Su: Dynamic Constraints and Object Migration. VLDB 1991: 233-242
@inproceedings{DBLP:conf/vldb/Su91,
  author    = {Jianwen Su},
  editor    = {Guy M. Lohman and
               Am\'{\i}lcar Sernadas and
               Rafael Camps},
  title     = {Dynamic Constraints and Object Migration},
  booktitle = {17th International Conference on Very Large Data Bases, September
               3-6, 1991, Barcelona, Catalonia, Spain, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-150-3},
  pages     = {233-242},
  ee        = {db/conf/vldb/Su91.html},
  crossref  = {DBLP:conf/vldb/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

In a class hierarchy, a "role set" is the set of classes where an object may reside simultaneously. A "migration pattern" is a sequence of role sets. A "migration inventory," which is a set of migration patterns, is viewed as a dynamic constraint on object migration. A set of transactions is "sound" wrt an inventory if it generates only patternsin the inventory; "complete" if all patterns in the inventory can be generated. An initial study on characterizing migration inventories of transactions is presented. Three update languages are considered: SL which contains five operators, CSL+ which extends SL with positive conditionals, and CSL which allows both positive and negative conditionals. Four kinds of inventories are studied based on laziness and immediatestart. It is shown that inventories produced by SL transactions are regular and every regular inventory can be generated by SL transactions. Soundness and completeness for SL transactions are decidable. Inventories generated by CSL (CSL+) transactions are r.e. and every r.e. inventory can be generated by CSL+ (CSL) transactions under nonimmediate start. It is also show that every r.e. immediate-start inventory can be obtained by a left quotient of the inventory of CSL+ (CSL) transactions by a regular set. The exact characterizations are open. However, every context-free set can be generated. Soundness and completeness for CSL (CSL+) transactions are undecidable.

Copyright © 1991 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Guy M. Lohman, Amílcar Sernadas, Rafael Camps (Eds.): 17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings. Morgan Kaufmann 1991, ISBN 1-55860-150-3
BibTeX

References

[AH87]
Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX
[AS83]
Gregory R. Andrews, Fred B. Schneider: Concepts and Notations for Concurrent Programming. ACM Comput. Surv. 15(1): 3-43(1983) BibTeX
[AV88]
Serge Abiteboul, Victor Vianu: The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. JCDKB 1988: 324-334 BibTeX
[AV89]
Serge Abiteboul, Victor Vianu: A transaction-based approach to relational database specification. J. ACM 36(4): 758-789(1989) BibTeX
[BMSW89]
Alexander Borgida, John Mylopoulos, Joachim W. Schmidt, Ingrid Wetzel: Support for Data-Intensive Applications: Conceptual Design and Software Development. DBPL 1989: 258-280 BibTeX
[BR84]
...
[Bro81]
Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42 BibTeX
[CF84]
Marco A. Casanova, Antonio L. Furtado: On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982: 211-236 BibTeX
[CH74]
...
[CM84]
George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325 BibTeX
[dCCF82]
José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX
[DL90]
...
[Har78]
...
[HJ90]
Richard Hull, Dean Jacobs: On the Semantics of Rules in Database Programming Languages. East/West Database Workshop 1990: 59-85 BibTeX
[HK87]
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
[KM85]
Roger King, Dennis McLeod: A Database Design Methodology and Tool for Information Systems. ACM Trans. Inf. Syst. 3(1): 2-21(1985) BibTeX
[MBW80]
John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX
[NCL+87]
...
[Per90]
...
[RS91]
Joel E. Richardson, Peter M. Schwarz: Aspects: Extending Objects to Support Multiple, Independent Roles. SIGMOD Conference 1991: 298-307 BibTeX
[Sci89]
Edward Sciore: Object Specialization. ACM Trans. Inf. Syst. 7(2): 103-122(1989) BibTeX
[Via87]
Victor Vianu: Dynamic functional dependencies and database aging. J. ACM 34(1): 28-59(1987) BibTeX
[Via88]
Victor Vianu: Database Survivability Under Dynamic Constraints. Acta Inf. 25(1): 55-84(1987) BibTeX

Referenced by

  1. Antoni Olivé, Dolors Costal, Maria-Ribera Sancho: Entity Evolution in ISA Hierarchies. ER 1999: 62-80
  2. Qing Li, Frederick H. Lochovsky: ADOME: An Advanced Object Modeling Environment. IEEE Trans. Knowl. Data Eng. 10(2): 255-276(1998)
  3. Jean-Bernard Lagorce, Arunas Stockus, Emmanuel Waller: Object-Oriented Database Evolution. ICDT 1997: 379-393
  4. Zoé Lacroix, Claude Delobel, Philippe Brèche: Object Views and Database Restructuring. DBPL 1997: 180-201
  5. F. Nihan Kesim, Marek J. Sergot: A Logic Programming Framework for Modeling Temporal Objects. IEEE Trans. Knowl. Data Eng. 8(5): 724-741(1996)
  6. Nicole Bidoit, Sandra de Amo: A First Step Towards Implementing Dynamic Algebraic Dependencies. ICDT 1995: 308-321
  7. Zhiyong Peng, Yahiko Kambayashi: Deputy Mechanisms for Object-Oriented Databases. ICDE 1995: 333-340
  8. Serge Abiteboul, Cassio Souza dos Santos: IQL(2): A Model with Ubiquitous Objects. DBPL 1995: 10
  9. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  10. Alberto O. Mendelzon, Tova Milo, Emmanuel Waller: Object Migration. PODS 1994: 232-242
  11. Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini: An Object Data Model with Roles. VLDB 1993: 39-51
  12. Guozhu Dong, Jianwen Su: Object Behaviors and Scripts. DBPL 1991: 383-398
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:48 2009