Abstract
Practical contexts for constraint satisfaction problems (CSP) often involve large relational databases. The recent proposal by Cadoli and Mancini, CONSQL, shows that a simple extension to SQL provides a viable basis for modeling CSP [1]. This enables the transparent integration of CSP solvers with databases using SQL – the most widely known and popular database language, and opens the possibility for making the power of CSP technology accessible to SQL knowledgeable users.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cadoli, M., Mancini, T.: Combining Relational Algebra, SQL, Constraint Modelling, and Local Search. Theory Pract. Log. Program. 7(1-2), 37–65 (2007)
Cadoli, M., Schaerf, A.: Compiling Problem Specification into SAT. Artificial Intelligence 162(1-2), 89–120 (2005)
Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S., Tsur, S., Zaniolo, C.: The LDL System Prototype. IEEE Transactions on Knowledge and Data Engineering (1990)
Giunchiglia, E., Lierler, Y., Maratea, M.: Answer Set Programming based on Propositional Satisfiability. J. of Automated Reasoning 36(4), 345–377 (2006)
Jaffar, J., Maher, M.J.: Constraint Logic Programming: A survey. Journal of Logic Programming 19/20, 503–581 (1994)
Kanellakis, P.C., Goldin, D.Q.: Constraint Programming and Database Query Languages. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol. 789, pp. 96–120. Springer, Heidelberg (1994)
Nemhauser, G., Trick, M.: Scheduling a Major College Basketball Conference. Operation Research 46(1) (1998)
Siva, S.: Ph.D. Thesis (in progress)
Zaniolo, C.: Deductive Databases - Theory meets Practice. In: Bancilhon, F., Tsichritzis, D.C., Thanos, C. (eds.) EDBT 1990. LNCS, vol. 416, pp. 1–15. Springer, Heidelberg (1990)
Zhang, H.: The Satbox Library (2006), http://www.cs.uiowa.edu/~hzhang/satbox/
Zhang, H.: Generating College Conference Basketball Schedules by a SAT Solver. In: Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing, pp. 281–291 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Siva, S., Lu, J.J., Zhang, H. (2008). A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). In: Garcia de la Banda, M., Pontelli, E. (eds) Logic Programming. ICLP 2008. Lecture Notes in Computer Science, vol 5366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89982-2_75
Download citation
DOI: https://doi.org/10.1007/978-3-540-89982-2_75
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89981-5
Online ISBN: 978-3-540-89982-2
eBook Packages: Computer ScienceComputer Science (R0)