Abstract
In scientific and design applications, updates typically require the creation of a set of database objects, which together form a complex structure exhibiting some desired property or semantics. To support this kind of data manipulation, we have extended the Daplex data manipulation language with constructs to express constraints over the creation of sets of objects. Complex update descriptions are combined with semantic and structural constraints from the database schema, and are compiled into CHIP programs which search for an update that will meet the given constraints. The resulting system uses an efficient search technique, and avoids the problems of “knock-on” actions found in more traditional approaches using triggers.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik. The Object-Oriented Database System Manifesto. In W. Kim, J.-M. Nicolas, and S. Nishio, eds., Proc. DOOD'89 pp. 223–240, Kyoto. North Holland (1990).
A. Brodsky, J. Jaffar, and M.J. Maher. Toward Practical Constraint Databases. In R. Agrawal, S. Baker, and D. Bell, eds., Proc. of the 19th VLDB Conf., pages 567–580, Dublin, 1993. Morgan Kaufmann Publishers, Inc.
C. Delobel, M. Kifer, and Y. Masunaga, editors. Second Int. Conf. on Deductive and Object-Oriented Databases, Munich, December 1991. Springer-Verlag.
S.M. Embury. Constraint-Based Updates in a Functional Data Model Database. PhD thesis, University of Aberdeen, King's College, Aberdeen, Scotland, July 1994.
S.M. Embury. A Formal Semantics for the Daplex Language. Technical Report AUCS/TR9504, University of Aberdeen, March 1995.
S.M. Embury and P.M.D. Gray. Compiling a Declarative, High-Level Language for Semantic Integrity Constraints. In R. Meersman and L. Mark, eds., Proc. of 6th IFIP Conf. on Data Semantics, Atlanta, May 1995. Chapman and Hall.
S.M. Embury, P.M.D. Gray, and N.D. Bassiliades. Constraint Maintenance Using Generated Methods in the P/FDM Object-Oriented Database. In [19]., p. 364–381.
R.W. Floyd. Nondeterministic Algorithms. JACM, 14(4):636–644, October 1967.
P. Fraternali and S. Paraboschi. A Review of Repair Techniques for Integrity Maintenance. In [19]., pages 332–346.
P.M.D. Gray, K.G. Kulkarni, and N.W. Paton. Object-Oriented Databases: a Semantic Data Model Approach. Prentice Hall Series in Computer Science, 1992.
P.M.D. Gray, N.W. Paton, G.J.L. Kemp, and J.E. Fothergill. An Object-Oriented Database for Protein Structure Analysis. Protein Engineering, 3:235–243, 1990.
R. Hull and R. King. Semantic Data Modelling: Survey, Applications and Research Issues. ACM Computing Surveys, 19(3):201–260, September 1987.
T. Imielinski, S. Naqvi, and K. Vadaparty. Incomplete Objects — a Data Model for Design and Planning Applications. In J. Clifford and R. King, editors, SIGMOD 91 Conf., pages 288–297, Denver, Colorado, May 1991. ACM Press.
T. Imielinski, S. Naqvi, and K. Vadaparty. Querying Design and Planning Databases. In Delobel et al.
S. Leishman. ChipLink User Manual. Technical report, University of Aberdeen, Dept. of Computing Science, King's College, Aberdeen, U.K., 1995.
G. Moerkotte and P.C. Lockemann. Reactive Consistency Control in Deductive Databases. ACM TODS, 16(4):670–702, December 1991.
J. Owens. Using Object-Oriented Databases to Model Hydrocarbon Reservoirs. PhD thesis, University of Aberdeen, King's College, Aberdeen, Scotland, 1995.
N.W. Paton and P.M.D. Gray. Optimising and Executing Daplex Queries Using Prolog. The Computer Journal, 33:547–555, 1990.
N.W. Paton and M.H. Williams, editors. Proc. of 1st Int. Workshop on Rules in Database Systems (RIDS '93), Edinburgh, August 1993. Springer-Verlag.
D.W. Shipman. The Functional Data Model and the Data Language DAPLEX. ACM Transactions on Database Systems, 6(1):140–173, March 1981.
H. Söndergaard and P. Sestoft. Non-Determinism in Functional Languages. The Computer Journal, 35(5):514–523, 1992.
P.J. Stuckey and S. Sudarshan. Compiling Query Constraints. In Proc. of ACM PODS, pages 56–67, Minneapolis, USA, May 1994.
S.D. Urban, A.P. Karadimce, and R.B. Nannapaneni. The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database. In 8th Int. Conf. on Data Engineering, pages 565–572, Phoenix, Arizona, 1992. IEEE.
P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
P. Wadler. How to Replace Failure by a List of Successes. In J.-P. Jouannaud, editor, Proc. of the IFIP Int. Conf. on Functional Prog. Langs. and Computer Arch., LNCS, Vol. 201, p. 113–128, Nancy, France, Sept. 1985. Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Embury, S.M., Gray, P.M.D. (1995). Planning complex updates to satisfy constraint rules using a constraint logic search engine. In: Sellis, T. (eds) Rules in Database Systems. RIDS 1995. Lecture Notes in Computer Science, vol 985. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60365-4_130
Download citation
DOI: https://doi.org/10.1007/3-540-60365-4_130
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60365-8
Online ISBN: 978-3-540-45137-2
eBook Packages: Springer Book Archive