Developing a labelled object-relational constraint database architecture for the projection operator

Data and Knowledge Engineering

Volumn 68, Issue 1, 2009, Pages 146-172

  Gómez López, María Teresa ^a   Ceballos, Rafael ^a   Gasca, Rafael M ^a   Del Valle, Carmelo ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Constraint database architecture; Knowledge based design methodologies and tools; Model based diagnosis; Query evaluation; Query language

Indexed keywords

BOOLEAN FUNCTIONS; DATA HANDLING; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL OPERATORS; QUERY LANGUAGES;

AND MODELS; BOOLEAN COMBINATIONS; CASE STUDIES; CONSTRAINT DATABASE ARCHITECTURE; CONSTRAINT DATABASES; KNOWLEDGE-BASED DESIGN METHODOLOGIES AND TOOLS; MODEL-BASED DIAGNOSIS; OVER CONSTRAINTS; PROJECTION OPERATORS; QUERY EVALUATION; QUERY EVALUATIONS; RELATIONAL CONSTRAINTS; RELATIONAL DATABASES; RESEARCH AREAS; SPATIO TEMPORALS; SPATIOTEMPORAL DATUMS; STORED DATUMS; SYMBOLIC SUBSTITUTIONS;

DATABASE SYSTEMS;

EID: 56249117288     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2008.09.002     Document Type: Article

References (55)

1. S. Basu, Algorithms in semi-algebraic geometry, Ph.D. Thesis, 1996.
2. 3. Graph Drawing. Lecture Notes in Computer Science vol. 3383 (2004), Springer
3. Benhamou F., and Granvilliers L. Continuous and interval constraints. In: Rossi F., van Beek P., and Walsh T. (Eds). Handbook of Constraint Programming. Foundations of Artificial Intelligence (2006), Elsevier Science Publishers, Amsterdam, The Netherlands (Chapter 16)
4. In: Bixby R.E., Boyd E.A., and Ríos-Mercado R.Z. (Eds). Integer Programming and Combinatorial Optimization, Sixth International IPCO Conference, Houston, Texas, USA, June 22-24, Proceedings. Lecture Notes in Computer Science vol. 1412 (1998), Springer
5. Brodsky A., Segal V.E., Chen J., and Exarkhopoulo P.A. The CCUBE constraint object-oriented database system. ACM SIGMOD Conference (1999), ACM Press
6. Brown C.W. Improved projection for cylindrical algebraic decomposition. Journal of Symbolic Computation 32 5 (2001) 447-465
7. B. Buchberger, Gröbner bases: an algorithmic method in polynomial ideal theory, in: N.K. Bose (Ed.), Multidimensional Systems Theory, 1985, pp. 184-232.
8. Byon J.H., and Revesz P.Z. DISCO: a constraint database system with sets. Constraint DataBases. Lecture Notes in Computer Science vol. 1034 (1995), Springer
9. Ceri S., Gottlob G., and Tanca L. What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering 1 1 (1989) 146-166
10. Chomicki J., Goldin D.Q., Kuper G.M., and Toman D. Variable independence in constraint databases. IEEE Transactions on Knowledge and Data Engineering 15 6 (2003) 1422-1436
11. Cohen J. Constraint logic programming languages. Communications of the ACM 33 7 (1990) 52-68
12. Collins G.E., and Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation 12 3 (1991) 299-328
13. Collins G.E., Johnson J.R., and Krandick W. Interval arithmetic in cylindrical algebraic decomposition. Journal of Symbolic Computation 34 2 (2002) 145-157
14. C. Combi, M. Gozzi, J.M. Juárez, R. Marín, B. Oliboni, Querying clinical workflows by temporal similarity, in: AIME, 2007.
15. Dasgupta P., Chakrabarti P.P., Dey A., Ghose S., and Bibel W. Solving constraint optimization problems from CLP-style specifications using heuristic search techniques. IEEE Transactions on Knowledge and Data Engineering 14 2 (2002) 353-368
16. Davis R. Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24 (1984) 347-410
17. Dechter R. Constraint Processing (The Morgan Kaufmann Series in Artificial Intelligence) (2003), Morgan Kaufmann
18. Dechter R., and Meiri I. Experimental evaluation of preprocessing algorithms for constraint satisfaction problems. Artificial Intelligence 68 2 (1994) 211-241
19. Dechter R., and Pearl J. Network-based heuristics for constraint satisfaction problems. Artificial Intelligence 34 (1988) 1-38
20. den Bussche J.V. Constraint databases, queries, and query languages. In: Kuper G., Libkin L., and Paredaes J. (Eds). Constraint Databases (2000), Springer
21. A.D. Deo, Modeling spatial and temporal data in an object-oriented constraint database framework, Ph.D. Thesis, von der Fakultät IV-Elektrotechnik und Informatik der Technish Universität zur Erlangung des akademischem Grades, Berlin, 2002.
22. 5) (2002), ACM Press, New York, NY, USA
23. 4). Journal of Pure and Applied Algebra 139 1-3 (1999) 61-88
24. Gasca R.M., Ortega J.A., and Toro M. A framework for semiqualitative reasoning in engineering applications. Applied Artificial Intelligence 16 3 (2002) 173-197
25. Geelen P.A. Dual viewpoint heuristics for binary constraint satisfaction problems. ECAI'92: Proceedings of the 10th European Conference on Artificial Intelligence (1992), John Wiley & Sons, Inc., New York, NY, USA
26. Geerts F., and Kuijpers B. On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases. Theoretical Computer Science 336 1 (2005) 125-151
27. Goldin D., Kutlu A., and Song M. Extending the Constraint Database Framework. PCK50 (2003), ACM Press, New York, USA
28. Goldin D.Q. Taking constraints out of constraint databases. Constraint DataBases. Lecture Notes in Computer Science vol. 3074 (2004), Springer
29. Granvilliers L., Goualard F., and Benhamou F. Box consistency through weak box consistency. ICTAI'99: Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence (1999), IEEE Computer Society, Washington, DC, USA
30. R. Gross-Brunschwiler, Implementation of constraint database systems using a compiler-time rewrite approach, Ph.D. Thesis, Swiss Federal Institute of Technology, Zürich, May 1996.
31. S. Grumbach, P. Rigaux, L. Segoufin, The DEDALE system for complex spatial queries, in: SIGMOD Conference, 1998.
32. R.M. Haralick, G.L. Elliott, Increasing tree search efficiency for constraint satisfaction problems, in: Proceedings of the Sixth International Joint Conferences on Artificial Intelligence (IJCAI), Tokyo, Japan, 1979.
33. W. Hodges, Some strange quantifiers, in: Structures in Logic and Computer Science, 1997.
34. X. Huang, A general extension of constraint propagation for constraint optimization, in: CP, 2004.
35. J. Jaffar, J.-L. Lassez, Constraint logic programming, in: Principles of Programming Languages (POPL), 1987.
36. Jaffar J., and Maher M.J. Constraint logic programming: a survey. Journal of Logic Programming 19-20 (1994) 503-581
37. Kanellakis P.C., Kuper G.M., and Revesz P.Z. Constraint query languages. Symposium on Principles of Database Systems (1990) 299-313
38. Kleer J.D., Mackworth A., and Reiter R. Characterizing diagnoses and systems. Artificial Intelligence 56 2 (1992) 197-222
39. Libkin L. Variable independence, quantifier elimination, and constraint representations. ICALP'00: Proceedings of the 27th International Colloquium on Automata, Languages and Programming (2000), Springer-Verlag, London, UK
40. Mackworth A.K. Consistency in networks of relations. Artificial Intelligence 8 1 (1977) 99-118
41. R. Manual, Jsolver 2.1, 2003.
42. Mayol E., and Teniente E. Consistency Preserving Updates in Deductive Databases vol. 47 (2003), Elsevier Science Publishers B.V., Amsterdam, The Netherlands
43. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence 32 1 (1987) 57-96
44. W. Research, Mathematica 5, Reference Manual April.
45. Revesz P. Evaluation of queries. Introduction to Constraint Databases (2001), Springer
46. Revesz P.Z. Datalog queries of set constraint databases. ICDT'95: Proceedings of the Fifth International Conference on Database Theory (1995), Springer-Verlag, London, UK
47. Revesz P.Z. Safe query languages for constraint databases. ACM Transactions on Database Systems 23 1 (1998) 58-99
48. Revesz P.Z., Chen R., Kanjamala P., Li Y., Liu Y., and Wang Y. The MLPQ/GIS constraint database system. ACM SIGMOD Conference, May 16-18, Dallas, Texas, USA (2000), ACM
49. Revesz P.Z., and Li Y. Mlpq: a linear constraint database system with aggregate operators. IDEAS'97: Proceedings of the 1997 International Symposium on Database Engineering and Applications (1997), IEEE Computer Society, Washington, DC, USA
50. M. Sachenbacher, B. Williams, Diagnosis as semiring-based constraint optimization, in: 15th International Workshop on Principles of Diagnosis, 2004.
51. Strzebonski A.W. Cylindrical algebraic decomposition using validated numerics. Journal of Symbolic Computation 49 9 (2006) 1021-1038
52. M. Stumptner, F. Wotawa, Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems, in: International Joint Conferences on Artificial Intelligence (IJCAI), 2003.
53. Telerman V. Using constraint solvers in CAD/CAM systems. PSI'02: Revised Papers from the Fourth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (2001), Springer-Verlag, London, UK
54. Toman D. SQL/TP: a temporal extension of SQL. Constraint Databases (2000), Springer
55. Veltri P. Constraint database query evaluation with approximation. ITCC'01: Proceedings of the International Conference on Information Technology: Coding and Computing (2001), IEEE Computer Society, Washington, DC, USA