ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
Data & Knowledge Engineering
Volume 14, Issue 3, February 1995, Pages 203-249
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (2805 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/0169-023X(94)00028-D    How to Cite or Link Using DOI (Opens New Window)
Copyright © 1994 Published by Elsevier Science B.V.

CoLan: A functional constraint language and its implementation

N. BassiliadesCorresponding Author Contact Information, E-mail The Corresponding Author and P. M. D. Gray

Dept. of Computing Science, University of Aberdeen, King's College, Old Aberdeen, AB9 2UE, UK

Received 19 November 1993; 
revised 7 March 1994; 
accepted 5 October 1994. ;
Available online 22 December 1999.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

This paper is about the definition of CoLan, a high-level declarative Constraint Description Language, for use with an Object-Oriented Database (OODB). CoLan has features of both first-order logic and functional programming and is based on Daplex. CoLan expressions are translated into Prolog code that implements the operational semantics of the constraint. Pieces of generated code are cached inside the class descriptor of the ‘host’ class attached to appropriate slots. The pieces of code are retrieved along an inheritance path when an update on the database is attempted. If the update violates any of the retrieved constraints then it is rejected with an informative message. Thus constraints are expressed declaratively and they can even be retracted individually. However, they are implemented efficiently as code-generated methods, triggered selectively by an update. The implementation is described for the ADAM OODB, which uses meta-classes of the CoLan system to generate class descriptions.

Author Keywords: Semantic integrity constraints; Object-oriented databases; Functional data model; Constraint compilation; Incremental constraint checking; Numerical quantifiers

Article Outline

• References

Data & Knowledge Engineering
Volume 14, Issue 3, February 1995, Pages 203-249
 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.