CoLan: a functional constraint language and its implementation
Data & Knowledge Engineering
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
The Evolving Role of Constraints in the Functional Data Model
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
A Knowledge Processing System for Data Service Network Design
BT Technology Journal
KRAFT: Knowledge Fusion from Distributed Databases and Knowledge Bases
DEXA '97 Proceedings of the 8th International Workshop on Database and Expert Systems Applications
Supporting Virtual Organisations Using BDI Agents and Constraints
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
Fusion rules for merging uncertain information
Information Fusion
The Knowledge Engineering Review
Hi-index | 0.00 |
We describe a technique for formulating a problem for solution by a finite domain constraint solver, where the finite domains can be modelled in correspondence with an Entity-Relationship diagram or UML Class diagram. This works particularly well where data for the problem is retrieved from database(s) over a network, but we believe the modelling discipline will be more generally useful. We show how relationships are conveniently represented using the infers operator of the generalised constraint propagation (Propia) library of ECLiPSe. Further, we can then express sets of quantified constraints over the data model in the declarative Colan language, and use this to generate equivalent ECLiPSe code directly. The user then has only to maintain the declarative version of the constraints, which are much easier to read. They can also be reused in many ways by fusing them with constraints from other sources, as in the KRAFT project. An important subclass of such constraints behave as conditional constraints which need delayed application, and we discuss experience in making such constraints more active in the solving process.