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}
}

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 ...

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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

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

Copyright © Tue Mar 16 02:22:01 2010 by Michael Ley (ley@uni-trier.de)