| Title: |
CoLan: A Functional Constraint Language and Its Implementation |
| Author(s): |
N. Bassiliades, P. Gray.
|
| Availability: |
Click here to download the PDF (Acrobat Reader) file (46 pages).
|
| Keywords: |
Semantic Integrity Constraints, Object-Oriented Databases, Functional Data Model, Constraint Compilation, Incremental Constraint Checking, Numerical Quantifiers.
|
| Appeared in: |
Data and Knowledge Engineering, Vol. 14, No. 3, pp. 203-249, 1995.
|
| Abstract: |
This paper is about the definition of CoLan, a high-level declarative Constraint Descrip-tion 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 expres-sions are tran-slated into Prolog code that implements the operational semantics of the con-straint. 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 data-ba-se is attempted. If the update violates any of the re-trieved constraints then it is re-jected with an info-rmative message. Thus constraints are ex-pressed declaratively and they can even be retracted individually. However, they are im-plemented efficiently as code-gene-rated 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. |
| See also : |
CoLan
|
This paper has been cited by the following:
| 1 |
J. Beukering, "Mokum-C: Constraints in Mokum -- Integrity and Authorization in the Active Object-oriented Knowledge base Mokum", M.Sc. Thesis, Vrije Universiteit, Amsterdam, The Netherlands, 1994. |
| 2 |
R.P. van de Riet, J. Beukering, "The Integration of Security and Integrity Constraints in MOKUM", Proc. of the IFIP WG11.3 Working Conf. on Database Security, pp. 223-244, 1994. |
| 3 |
R. Nkambou, G. Gauthier, C. Frasson, M. Antaki, "Integrating an expert system in authoring systems for curriculum and course building", in Proc. of the 7th International Conference on Artificial Intelligence and Expert Systems Applications, pp. 475-480, San Fransisco, CA (1995). |
| 4 |
R. Nkambou, "Modelisation des connaissances de la matiere dans un systeme tutoriel intelligent: modeles, outils et applications", PhD Thesis, Departement d'informatique et de recherche operationnelle, Universite de Montreal, Canada, 1996. |
| 5 |
Sophie Monties, "Coherence des bases d'objects multiversions", PhD thesis, Université de la Sorbonne (Paris I), France, 1997. |
| 6 |
R. Farfarakis, S. Hope, "The TOOCAn approach", Proc. 3rd Int. Conf. On Practical Application of Constraint Technology, London, U.K., 1997, pp. 135-150. |
| 7 |
P.R.S. Visser, D.M. Jones, M.D. Beer, T.M.J. Bench-Capon, B.M Diaz, M.J.R Shave, "Resolving Ontological Heterogeneity in the KRAFT Project," Int. Conf. On Database and Expert System Applications, DEXA-99, Florence, Italy, Springer-Verlag, LNCS, 1999. |
| 8 |
A. Preece, K. Hui, A. Gray, P. Marti, T. Bench-Capon, D. Jones, Z. Cui, "The KRAFT Architecture for Knowledge Fusion and Transformation," Knowledge-Based Systems, Vol. 13, No. 2-3, pp. 113-120, 2000. Appeared also in 19th SGES Int. Conf. On Knowledge-Based Systems and Applied Artificial Intelligence (ES’99), Cambridge, Springer-Verlag, 1999. |
| 9 |
A. Preece, K. Hui, A. Gray, P. Marti, "Designing for Scalability in a Knowledge Fusion System", Research and Development in Intelligent Systems XVII, Proc.20th SGES Int. Conf. On Knowledge-Based Systems and Applied Artificial Intelligence (ES’2000), Springer-Verlag, 2000. |
| 10 |
Kit-ying Hui, “Knowledge Fusion and Constraint Solving in a Distributed Environment”, PhD Thesis, Dept.Computing Science, University of Aberdeen, 2000. |
| 11 |
S. Chalmers, "BDI agents and constraints", in Proc. of the AISB'01 Symposium on Information Agents for Electronic Commerce, M. Schroeder and K. Stathis (eds.), pp. 61-69, York, 2001. |
| 12 |
A. Gray, P. Marti, and A. Preece, "Towards a Scalable Architecture for Knowledge Fusion", Proc. Int. Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 2000, LNAI 1887, Springer-Verlag, pp. 279-292, 2001. |
| 13 |
A. Preece, K. Hui, A. Gray, P. Marti, T. Bench-Capon, Z. Cui, D. Jones, "KRAFT: An agent architecture for knowledge fusion", Int. Journal Of Cooperative Information Systems, Vol. 10, No. 1-2, pp. 171-195, Mar-Jun 2001. |
| 14 |
G. Fu, J. Shao, S.M. Embury, and W.A. Gray, "Representing Constraint Business Rules Extracted from Legacy Systems", Proc. 13th Int. Conf. on Database and Expert Systems Applications, Aix-en-Provence, France, Springer-Verlag, LNCS 2453, 2002. |
| 15 |
D. Massart, "La gestion de la complexité des schémas conceptuels à base d'objets", PhD Thesis, Université libre de Bruxelles, Faculté de Philosophie et Lettres, Brussels, Belgium, 2002. |
| 16 |
J. Rungrattanaubol, "A treatise on Modelling with definitive scripts", PhD thesis, University of Warwick, April 2002 |
| 17 |
G. Fu, J. Shao, S. M. Embury, W. A. Gray, "An Algorithm for Determining Related Constraints", Advances in Databases, Proc. 19th British National Conference on Databases, BNCOD 19, Sheffield, UK, 2002, LNCS 2405, Springer-Verlag, pp. 134-149. |
| 18 |
Stuart W. Chalmers, "Agents and Constraint Logic", PhD Thesis, Department of Computing Science, University of Aberdeen, UK, 2004. |
| 19 |
G. Fu, J. Shao, S.M. Embury, W.A. Gray, "Algorithms for analysing related constraint business rules", Data and Knowledge Engineering, 50(2), (2004) 215–240. |
| 20 |
S. Ajit, D. Sleeman, D. W. Fowler, and D. Knott, "ConEditor: Tool to Input and Maintain Constraints", Proc. 14th Int. Conf. Engineering Knowledge in the Age of the Semantic Web, EKAW 2004, LNAI 3257, pp. 466–468, 2004. |
| 21 |
A. Buccella, A. Cechich, N.R. Brisaboa, "Ontology-Based Data Integration Methods: A Framework for Comparison", Colombian Journal of Computation, Vol. 6, No 1, June 2005. |
| 22 |
Mads Johnsen, "High Level Database Interface with Application to GIS", MSc Thesis, Computer Science and Engineering division, Institute of Informatics and Mathematical Modelling, Technical University of Denmark, Lyngby, Denmark, April 2005. |
| 23 |
Derek Sleeman, Suraj Ajit, David W. Fowler, David Knott, "The role of ontologies in creating and maintaining corporate knowledge: a case study from the aero industry", Roberta Cuel and Roberta Ferrario (ed), 2nd Formal Ontologies Meet Industry Workshop (FOMI-06), Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy, 2006. |
| 24 |
Jesper Vinther Christensen and Mads Johnsen, "Formalizing Constraints for Geographic Information", Advances In Information Systems Development, 2006, Part 6, Springer, pp. 657-667, DOI: 10.1007/978-0-387-36402-5_57. |
| 25 |
S. Ajit, D. Sleeman, D.W. Fowler, D. Knott and K. Hui, "Capture and Maintenance of Engineering Design Constraints", Proceedings of the 2nd AKT Doctoral Symposium 2006, Aberdeen, UK. |
| 26 |
J. V. Christensen, "Formalizing Specifications for Geographic Information", Proc. 9th AGILE Conference on Geographic Information Science, Visegrád, Hungary, pp. 186-194, 2006. |
| 27 |
D. Huang, "Semantic Descriptions of Web Services Security Constraints", Proceedings of International Symposium on Service-Oriented System Engineering (SOSE2006), 25-27 Oct 2006, Shanghai, China. |
| 28 |
Hak-Jin Kim, Myung Jin Lee, "Intelligent Shopping Agents Using Finite Domain Constraint under Semantic Web", Journal of Korea Intelligent Information System Society, Vol. 12 No.4, (2006), pp73-90. |
| 29 |
D. Huang; Y. Yang; Calmet, J., "A Knowledge-based Security Policy Framework for Business Process Management," Computational Intelligence for Modelling, Control and Automation, 2006 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, IEEE Conference Proceedings, pp.154-154, Nov. 2006. |
| 30 |
A. Olive, "A method for the definition of integrity constraints in object-oriented conceptual modeling languages", Data and Knowledge Engineering, Vol. 59, No. 3, pp. 559-575, 2006. |
| 31 |
Alun Preece, Stuart Chalmers, Craig McKenzie. A reusable commitment management service using semantic web technology, 26th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (Cambridge (UK)). |
| 32 |
Carrillo Ramos A. C., "Agents ubiquitaires pour un acces adapte aux systemes d'information: Le Framework PUMAS", PhD Thesis, Universite Joseph-Fourier - Grenoble I, France, March 2007. |
| 33 |
Ajit, S and Sleeman, D and Fowler, D W and Knott, D and Hui, K (2007) ConEditor+: Capture and Maintenance of Constraints in Engineering Design. In Dieng, R and Matta, N, Eds. Proceedings IJCAI-07 Workshop on "Knowledge Management and Organizational Memories", pages pp. 6-11, Hyderabad, India. |
| 34 |
A. Preece, S. Chalmers and C. McKenzie, "A reusable commitment management service using Semantic Web technology", Knowledge-Based Systems, 20(2), pp. 143-151, 2007. |
| 35 |
Dong Huang, "A Security Gateway for Web Service Protocols", PhD Thesis, Fakultät für Informatik, der Universität Fridericiana zu Karlsruhe, Germany, June 2007. |
| 36 |
Ajit, S., Sleeman, D., Fowler, D.W., Knott, D., "Constraint capture and maintenance in engineering design", Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 22(4), pp. 325-343, 2008. |
| 37 |
Derek Sleeman, Suraj Ajit, David W. Fowler, David Knott, "The role of ontologies in creating and maintaining corporate knowledge: A case study from the aero industry", Applied Ontology, 3(3), pp. 151 - 172, 2008. |
| 38 |
Hak-Jin Kim, Wooju Kim, Myungjin Lee, “Semantic Web Constraint Language and its application to an intelligent shopping agent”, Decision Support Systems, Volume 46, Issue 4, IT Decisions in Organizations, March 2009, Pages 882-894, DOI: 10.1016/j.dss.2008.12.004. |
| 39 |
Kazi Zakia Sultana, Anupam Bhattacharjee, Mohammad Shafkat Amin, and Hasan Jamil, "A Model for Contextual Cooperative Query Answering in E-Commerce Applications", Proc. 8th Int. Conf. on Flexible Query Answering Systems (FQAS 2009), Roskilde, Denmark, October 26-28, 2009, LNCS 5822, Springer, pp. 25-36. |
| 40 |
Lee, Myungjin ; Kim, Wooju ; Kim, Hak-Jin ; “SWCL Extension for Knowledge Representation of Piecewise linear Constraints on the Semantic Web”, Journal of the Korean Operations Research and Management Science Society, Volume 37, Issue 4, 2012, pp. 19-35, DOI: 10.7737/JKORMS.2012.37.4.019 |
| 41 |
Per Gundberg, Joel Steen Timle, "Locating faulty data in an harvested database: Extending a Metadata language with support for semantic rules to find erroneous data in a vast and incomplete database", Master of Science Thesis, Chalmers University of Technology, University of Gothenburg, Department of Computer Science and Engineering, Goteborg, Sweden, February 2012. |
| 42 |
Kim, W., Hong, J.S., Wang, T.(., Kim, H. & Lee, M. (2013). Merging Mathematical Constraint Knowledge into the Semantic Web by a Semantic Web Constraint Language. Introduction to the Semantic Web – Concepts, Technologies and Applications. ISBN: 978-1453636404. iConcept Press. Retrieved from http://www.iconceptpress.com/books/introduction-to-the-semantic-web--concepts-technologies-and-applications/
|
|
