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