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