CoLan: A functional constraint language and its implementation
References (32)
- et al.
Integrity control in relational database systems—An overview
Data & Knowledge Engrg.
(1993) - et al.
Object-oriented databases and frame-based systems: A comparison
Information and Software Technology
(1991) - et al.
Combining active rules and meta-classes for enhanced extensibility in object-oriented systems
Data & Knowledge Engrg.
(1993) Constraint description in ADAM
- et al.
Modelling constraints with exceptions in object-oriented databases
I lied about the trees or, defaults and definitions in knowledge representation
AI Mag.
(1985)- et al.
Checking consistency of database constraints: A logical basis
- et al.
Deriving production rules for constraint maintenance
Deduce 2: Further investigations of deduction in relational databases
- et al.
Rule management in object-oriented databases: A uniform approach
From ADAM to ABEL: Making object-oriented databases more knowledgeable
Generating active rules from high-level specifications
Constraint maintenance using generated methods in the P/FDM object-oriented database
Smalltalk-80, The Language and Its Implementation
A prolog interface to a functional data model database
Object-oriented databases, A Semantic Data Model Approach
Cited by (38)
Semantic Web Constraint Language and its application to an intelligent shopping agent
2009, Decision Support SystemsA Semantic web approach to handling soft constraints in virtual organisations
2008, Electronic Commerce Research and ApplicationsA reusable commitment management service using Semantic Web technology
2007, Knowledge-Based SystemsA method for the definition of integrity constraints in object-oriented conceptual modeling languages
2006, Data and Knowledge EngineeringCitation Excerpt :We stress that our use of operations for constraint definition is only as a notational device (hopefully, a convenient one) without assuming any implementation implication. In O-O databases, constraints are often implemented by special operations or by extending existing operations (as is done, for example, in Morse [7], CoLan [1] or in DICE [20]), but our focus here is on conceptual definition, and not on implementation. As we have seen, the main idea of our method for constraints definition in O-O languages consists in defining them as (special) operations that we have called constraint operations.
Algorithms for analysing related constraint business rules
2004, Data and Knowledge EngineeringCitation Excerpt :We express our constraints in a formalism based on predicate logic [14]. Different from other logic based constraint languages [2,29], however, our formalism is designed with two “restrictions”. First, only a (small) set of pre-defined predicates may be used.
Constraint capture and maintenance in engineering design
2008, Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM