{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:44Z","timestamp":1725664844876},"publisher-location":"Berlin, Heidelberg","reference-count":155,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625018"},{"type":"electronic","value":"9783540680499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62501-1_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:39:39Z","timestamp":1330295979000},"page":"7-52","source":"Crossref","is-referenced-by-count":4,"title":["An informal introduction to constraint database systems (extended abstract)"],"prefix":"10.1007","author":[{"given":"Volker","family":"Gaede","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"2_CR1","unstructured":"Abiteboul, S., R. Hull, and V. Vianu (1994). Foundations of Databases. Addison-Wesley."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Afrati, F., S. Cosmadakis, S. Grumbach, and G. Kuper (1994). Expressiveness of linear vs. polynomial constraints in database query languages. In A. Borning (Ed.), Second Workshop on Principles and Practice of Constraint Programming (PPCP'94), Seattle WA.","DOI":"10.1007\/3-540-58601-6_100"},{"issue":"7","key":"2_CR3","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","volume":"17","author":"A. Aggoun","year":"1993","unstructured":"Aggoun, A. and N. Beldiceanu (1993). Extending CHIP in order to solve complex scheduling and placement problems. Journal of Mathematical and Computer Modelling 17(7), 57\u201373.","journal-title":"Journal of Mathematical and Computer Modelling"},{"key":"2_CR4","unstructured":"Aschenbrenner, T., A. Brodsky, and Y. Kornatzky (1995). Constraint database approach to spatio-temporal fusion and sensor management. In Proc. ILPS95 Workshop on Constraints, Databases and Logic Programming, Portland, Oregon."},{"key":"2_CR5","unstructured":"Azarmi, N. and W. Abdul-Hameed (1995). Workforce scheduling with constraint logic programming. BT Technology Journal 13(1)."},{"key":"2_CR6","first-page":"16","volume-title":"An amateur's introduction to recursive query processing strategies","author":"F. Bancilhon","year":"1986","unstructured":"Bancilhon, F. and R. Ramakrishnan (1986). An amateur's introduction to recursive query processing strategies. In Proc. ACM Int. Conf. on Management of Data, Washington, D.C., pp. 16\u201352. Reprinted in (Stonebraker 1994)."},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C. Beeri","year":"1990","unstructured":"Beeri, C. (1990). A formal approach to object-oriented databases. IEEE Trans. on Knowledge and Data Engineering 5, 353\u2013382.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"2_CR8","unstructured":"Belussi, A., E. Bertino, M. Bertolotto, and B. Catania (1995). Generalized relational algebra: Modeling spatial queries in constraint databases. In G. Kuper and M. Wallace (Eds.), Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB'95), Friedrichshafen, Germany, pp. 40\u201367. LNCS 1034."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Benedikt, M., G. Dong, L. Libkin, and L. Wong (1996). Relational expressive power of constraint query languages. In Proc. 15th ACM Symposium on Principles of Database Systems (PODS), Montreal, Canada, pp. 5\u201316.","DOI":"10.1145\/237661.237667"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Benhamou, F. and L. Granvilliers (1996). Combining local consistency, symbolic rewriting and interval methods. In J. Calmet, J. Campbell, and J. Pfalzgraf (Eds.), Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, pp. 144\u2013159.","DOI":"10.1007\/3-540-61732-9_55"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Benjamin, M., T. Viana, K. Corbett, and A. Silva (1993). Satisfying multiplerated constraints in a knowledge based decision aid. In Proc. IEEE Conf. on Artificial Intelligence Applications, Orlando.","DOI":"10.1109\/CAIA.1993.366599"},{"key":"2_CR12","unstructured":"Berchtold, S., D. Keim, and H.-P. Kriegel (1996). The X-tree: An index structure for high-dimensional data. In Proc. 22th Int. Conf. on Very Large Data Bases, pp. 28\u201339."},{"key":"2_CR13","unstructured":"Bertino, E. (1994). A survey of indexing techniques for object-oriented databases. In (Freytag, Maier, and Vossen 1994), pp. 383\u2013418."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Bertino, E. and C. Guglielmina (1992). Optimization of object-oriented queries using path indices. In Int. Workshop on Research Issues in Transactions and Query Processing (RIDE-TQP).","DOI":"10.1109\/RIDE.1992.227413"},{"key":"2_CR15","unstructured":"Bocca, J. B. (1992). MEGALOG a programming platform for constructing information systems. In P. Loucopoulos and R. Zicari (Eds.), Conceptual Modelling, Databases and CASE: An integrated View of Information Systems Developments. MacGraw-Hill."},{"key":"2_CR16","unstructured":"Bormann, J., J. Lohse, M. Payer, and R. Schmid (1995). Circuit verification environment cve2. Technical Report Version 1.72, ZFE BT SE 12 Siemens AG. (User Manual and System Description)."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Borning, A. and B. Freeman-Benson (1995). The OTI constraint solver: A constraint library for constructing graphical user interfaces. In Proc. 1st Int Conf. Principles and Practice of Constraint programming (CP'95). Springer Verlag. LNCS 976.","DOI":"10.1007\/3-540-60299-2_38"},{"key":"2_CR18","unstructured":"Bressan, S. (1994). Database query optimization and evaluation as constraint satisfaction problem solving. In Workshop on Constraints and Databases, Ithaca, NY, USA, pp. 27\u201340. Available as technical report from the University of Nebraska UNL-CSE-94-025."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Bressan, S., A. Sexton, and M. Wallace (1996). Implementing index structures using constraint logic programming. In Workshop on Constraints and Databases. In this volume.","DOI":"10.1007\/3-540-62501-1_39"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Brinkhoff, T., H.-P. Kriegel, and R. Schneider (1993). Comparison of approximations of complex objects used for approximation-based query processing in spatial database systems. In Proc. 9th Int. Conference on Data Engineering, pp. 40\u201349.","DOI":"10.1109\/ICDE.1993.344079"},{"key":"2_CR21","unstructured":"Brodsky, A. (1996). Constraint databases: Promising technique or just intellectual exercise. Available under URL http:\/\/www.cs.brown.edu\/people\/pvh\/group.html."},{"key":"2_CR22","unstructured":"Brodsky, A., D. Q. Goldin, and V. E. Segal (1996). On strongly polynomial projections in d-monotone constraint databases. In Workshop on Constraints and Databases, Boston. Available as technical report from George Mason University."},{"key":"2_CR23","unstructured":"Brodsky, A., J. Jaffar, and M. J. Maher (1993). Toward practical constraint databases. In Proc. 19th Int. Conference on Very Large Data Bases (VLDB), Dublin, pp. 567\u2013580."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Brodsky, A. and Y. Kornatzky (1995). The LyriC language: Querying constraint objects. In Proc. ACM SIGMOD Conference on Management of Data, San Jose, CA, pp. 35\u201346.","DOI":"10.1145\/223784.223788"},{"key":"2_CR25","unstructured":"Brodsky, A., C. Lassez, J.-L. Lassez, and M. J. Maher (1995). Seperability of polyhedra for optimal filtering of spatial and constraint data. In Proc. 14th ACM Symposium on Principles of Database Systems (PODS), San Jose, CA, pp. 54\u201364."},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Brodsky, A., V. Segal, and P. Exarkhopoulo (1996). The C 3 constraint object-oriented database system. Technical Report, Dept. Information and Software Systems Engineering, George Mason University.","DOI":"10.1007\/3-540-62501-1_30"},{"key":"2_CR27","unstructured":"Brodsky, A. and X. S. Wang (1995). On approximation-based query evaluation, expensive predicates and constraint objects. In Proc. Workshop on Constraints, Databases and Logic Programming, Portland, OR."},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional Systems theory","author":"B. Buchberger","year":"1985","unstructured":"Buchberger, B. (1985). Gr\u00f6bner Bases: an Algorithmic Method in Polynomial Ideal Theory. In N. K. Bose (Ed.), Multidimensional Systems theory, pp. 184\u2013232. D. Reidel Publishing Company, Dordrecht-Boston-Lancaster."},{"key":"2_CR29","unstructured":"Burgard, W., A. B. Cremers, T. H. Kolbe, and L. Pl\u00fcmer (1996). Object construction by deduction for a 3D-geo-information system of a mine. In Proc. Practical Applications of Prolog (PAP'96), London."},{"issue":"10","key":"2_CR30","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/125223.125254","volume":"34","author":"P. Butterworth","year":"1991","unstructured":"Butterworth, P., A. Otis, and J. Stein (1991). The GemStone object database management system. Communications of the ACM 34(10), 64\u201377.","journal-title":"Communications of the ACM"},{"key":"2_CR31","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0747-7171(87)80065-2","volume":"4","author":"W. B\u00fcttner","year":"1987","unstructured":"B\u00fcttner, W. and H. Simonis (1987). Embedding boolean expressions into logic programming. Journal of Symbolic Computation 4, 191\u2013205.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR32","unstructured":"Byon, J.-H. and P. Z. Revesz (1995). DISCO: A constraint database with sets. In G. Kuper and M. Wallace (Eds.), Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB'95), Friedrichshafen, Germany, pp. 68\u201383. LNCS 1034."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Carey et al. (1988). A data model and query language for EXODUS. In Proc. ACM SIGMOD Conference on Management of Data.","DOI":"10.1145\/50202.50252"},{"key":"2_CR34","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1016\/0377-2217(94)90379-4","volume":"78","author":"J. Carlier","year":"1994","unstructured":"Carlier, J. and E. Pinson (1994). Adjustment of heads and tails for the job-shop problem. European Journal of Operations Research 78, 146\u2013161.","journal-title":"European Journal of Operations Research"},{"key":"2_CR35","unstructured":"Caseau, Y. (1989). A formal system for producing demons and rules. In Proc. of the 1st Conf. on Deductive and Object-Oriented Databases DOOD'89, Kyoto."},{"key":"2_CR36","unstructured":"Caseau, Y. (1990). A deductive object-oriented language. Annals of Mathematics and Artificial Intelligence."},{"key":"2_CR37","volume-title":"Improved clp scheduling with task intervals","author":"Y. Caseau","year":"1994","unstructured":"Caseau, Y. and F. Laburthe (1994). Improved clp scheduling with task intervals. In P. Van Hentenryck (Ed.), Proceedings of the 11th International Conference on Logic Programming, Santa Margherita. MIT Press."},{"issue":"2","key":"2_CR38","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","volume":"21","author":"A. K. Chandra","year":"1980","unstructured":"Chandra, A. K. and D. Harel (1980). Computable queries for relational data bases. Journal of Computer and System Science 21(2), 156\u2013178.","journal-title":"Journal of Computer and System Science"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Chomicki, J., D. Q. Goldin, and G. M. Kuper (1996). Variable independence and aggregation closure. In Proc. 15th ACM Symposium on Principles of Database Systems (PODS), Montreal, Canada, pp. 40\u201348.","DOI":"10.1145\/237661.237673"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Chomicki, J. and G. Kuper (1995). Measuring infinite relations. In Proc. 14th ACM Symposium on Principles of Database Systems (PODS), San Jose, CA, pp. 78\u201385.","DOI":"10.1145\/212433.212455"},{"issue":"8","key":"2_CR41","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1093\/comjnl\/36.8.690","volume":"36","author":"D. A. Clark","year":"1993","unstructured":"Clark, D. A., C. J. Rawlings, J. Shirazi, L.-L. Li, M. Reeve, K. Schuerman, and A. Veron (1993). Solving large combinatorial problems in molecular biology using the elipsys parallel constraint logic programming system. The Computer Journal 36(8), 690\u2013701.","journal-title":"The Computer Journal"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Cluet, S. and C. Delobel (1992). A general framework for the optimization of object-oriented queries. In Proc. ACM SIGMOD Conference on Management of Data, pp. 383\u2013392.","DOI":"10.1145\/130283.130341"},{"issue":"6","key":"2_CR43","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E. F. Codd","year":"1970","unstructured":"Codd, E. F. (1970). A relational model for large shared data banks. Communications of the ACM 13(6), 377\u2013387.","journal-title":"Communications of the ACM"},{"key":"2_CR44","unstructured":"Codd, E. F. (1972). Relational completeness of database sublanguages. In R. Rustin (Ed.), Data Base Systems, pp. 65\u201398. Prentice Hall."},{"issue":"7","key":"2_CR45","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"Cohen, J. (1990). Constraint logic programming languages. Communications of the ACM 33(7), 52\u201368.","journal-title":"Communications of the ACM"},{"key":"2_CR46","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. E. Collins","year":"1991","unstructured":"Collins, G. E. and H. Hong (1991). Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. Journal of Symbolic Computation 12, 299\u2013328.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Cooper, E. C. (1982). On the expressive power of query languages for relational databases. In Proc. First ACM Symp. on Principles of Database Systems (PODS), Los Angeles.","DOI":"10.1145\/582153.582190"},{"key":"2_CR48","unstructured":"COSYTEC. CHIP user manual."},{"key":"2_CR49","volume-title":"Proceedings of the CHIP users club. COSYTEC SA","author":"COSYTEC","year":"1994","unstructured":"COSYTEC (1994). Proceedings of the CHIP users club. COSYTEC SA, Parc Club Orsay Universite, 4, rue Jean Rostand, 91893 Orsay Cedex, France."},{"key":"2_CR50","unstructured":"CPLEX (1993). Using the cplex callable library and cplex mixed integer library. Technical Report Version 2.1, CPLEX Optimisation Inc."},{"key":"2_CR51","volume-title":"Logic Programming: Functions, Relations and Equations","author":"DeGroot","year":"1986","unstructured":"DeGroot (1986). In D. DeGroot and G. Lindstrom (Eds.), Logic Programming: Functions, Relations and Equations, New Jersey. Prentice-Hall."},{"key":"2_CR52","unstructured":"Donikian, S. and G. Hegron (1994). Constraint management in a declarative design method for 3D scene sketch modelling. In V. J. Saraswat and P. Van Hentenryck (Eds.), Principles and Practice of Constraint Programming. MIT Press."},{"key":"2_CR53","volume-title":"Contig mapping using elipsys","author":"S. Doursenot","year":"1993","unstructured":"Doursenot, S., D. Clark, C. J. Rawlings, and A. Veron (1993). Contig mapping using elipsys. In Proc. Workshop on \u201cAI and the Genome\u201d, IJCAI, Chambery, France."},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Dowling, W. and J. H. Gallier (1984). Linear-time algorithms for testing the satisfiability of propositional horn formulae. Journal of Logic Programming 1.","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"2_CR55","unstructured":"ECRC (1996). ECLiPSe 5.2. Technical report, ECRC. http:\/\/www.ecrc.de\/eclipse\/eclipse.html."},{"key":"2_CR56","unstructured":"Feldman, J., A. A. Hoyos, N. Sekas, and D. Vergamini (1995). Scheduling engine for LILCO. In Proc. ILOG Solver Users Conference, Paris. Available under http:\/\/www.ilog.com."},{"key":"2_CR57","doi-asserted-by":"crossref","unstructured":"Freeston, M. (1995a). The application of multi-dimensional indexing methods to constraints. In G. Kuper and M. Wallace (Eds.), Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB'95), Friedrichshafen, Germany, pp. 102\u2013119. LNCS 1034.","DOI":"10.1007\/3-540-60794-3_16"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Freeston, M. (1995b). A general solution of the n-dimensional B-tree problem. In Proc. ACM SIGMOD Conference on Management of Data, pp. 80\u201391.","DOI":"10.1145\/223784.223796"},{"key":"2_CR59","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"E. Freuder","year":"1978","unstructured":"Freuder, E. (1978). Synthesizing constraint expressions. Communications of the ACM 21, 958\u2013966.","journal-title":"Communications of the ACM"},{"key":"2_CR60","unstructured":"Freytag, J. C., D. Maier, and G. Vossen (Eds.) (1994). Query Processing for advanced database systems. Morgan Kaufmann."},{"key":"2_CR61","unstructured":"Fromherz, M. P. J. and V. A. Saraswat (1995). Model-based computing: Constructing constraint-based software for electro-mechanical systems. In Proc. Practical Applications of Constraint Technology (PACT'95)."},{"key":"2_CR62","doi-asserted-by":"crossref","unstructured":"Gaede, V. and O. G\u00fcnther (1995a). Constraint-based query optimization and processing. In G. Kuper and M. Wallace (Eds.), Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB'95), Friedrichshafen, Germany, pp. 84\u2013101. LNCS 1034.","DOI":"10.1007\/3-540-60794-3_15"},{"key":"2_CR63","volume-title":"Technical Report ISS-15","author":"V. Gaede","year":"1995","unstructured":"Gaede, V. and O. G\u00fcnther (1995b). Survey on multidimensional access methods. Technical Report ISS-15, Humboldt-Universit\u00e4t zu Berlin, Germany. Submitted."},{"key":"2_CR64","volume-title":"Technical report","author":"V. Gaede","year":"1996","unstructured":"Gaede, V. and W.-F. Riekert (1996). Query evaluation in the object-oriented GIS GODOT. Technical report, Humboldt-Universit\u00e4t zu Berlin, Germany."},{"key":"2_CR65","unstructured":"Gervet, C. (1994). Conjunto: Constraint logic programming with finite set domains. In Proc. ILPS'94, pp. 339\u2013358."},{"key":"2_CR66","unstructured":"Gleicher, M. (1994). Practical issues in graphical constraints. In V. J. Saraswat and P. Van Hentenryck (Eds.), Principles and Practice of Constraint Programming. MIT Press."},{"key":"2_CR67","doi-asserted-by":"crossref","unstructured":"Goldin, D. and P. C. Kanellakis (1996). Constraint query algebras. Constraints Journal 1(1).","DOI":"10.1007\/BF00143878"},{"key":"2_CR68","first-page":"137","volume-title":"On similarity queries for timeseries data: Constraint specification and implementation","author":"D. Q. Goldin","year":"1995","unstructured":"Goldin, D. Q. and P. C. Kanellakis (1995). On similarity queries for timeseries data: Constraint specification and implementation. In U. Montanari and F. Rossi (Eds.), Proc. 1st Int. Conference on Principles and Practice of Constraint Programming (CP'95), Cassis, France, pp. 137\u2013153. Springer-Verlag. LNCS 976."},{"key":"2_CR69","unstructured":"Goldstein, J., R. Ramakrishnan, and J.-B. Yu (1996). Using constraints to query R*-trees. In Workshop on Constraints and Databases, Boston. Available as technical report from George Mason University."},{"issue":"2","key":"2_CR70","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/152610.152611","volume":"25","author":"G. Graefe","year":"1993","unstructured":"Graefe, G. (1993). Query evaluation techniques for large databases. ACM Computing Surveys 25(2), 73\u2013170.","journal-title":"ACM Computing Surveys"},{"key":"2_CR71","volume-title":"Technical report","author":"B. Granveaud","year":"1995","unstructured":"Granveaud, B. (1995). Study and implementation of spatial indexing methods. Technical report, ECRC, Arabellastr. 17, M\u00fcnchen."},{"key":"2_CR72","unstructured":"Grumbach, S. and J. Su (1995). Dense-order constraint databases. In Proc. 14th ACM Symposium on Principles of Database Systems (PODS), San Jose, CA, pp. 66\u201377."},{"key":"2_CR73","unstructured":"Grumbach, S. and J. Su (1996). Towards practical constraint databases. In Proc. 15th ACM Symposium on Principles of Database Systems (PODS), Montreal, Canada, pp. 28\u201337."},{"key":"2_CR74","doi-asserted-by":"crossref","unstructured":"G\u00fcnther, O. (1989). The cell tree: An object-oriented index structure for geometric databases. In Proc. 5th Int. Conference on Data Engineering, pp. 598\u2013605.","DOI":"10.1109\/ICDE.1989.47267"},{"key":"2_CR75","unstructured":"G\u00fcnther, O. and V. Gaede (1996). Oversize shelves: A storage management technique for large spatial data objects. Int. Journal of Geographic Information Systems."},{"key":"2_CR76","doi-asserted-by":"crossref","unstructured":"Gupta, V., R. Jagadeesan, V. Saraswat, and D. Bobrow (1995). Programming in hybrid constraint languages. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (Eds.), Hybrid Systems II, pp. 552\u2013567. Springer Verlag. LNCS 999.","DOI":"10.1007\/3-540-60472-3_12"},{"issue":"1","key":"2_CR77","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1109\/69.50910","volume":"2","author":"L. Haas","year":"1990","unstructured":"Haas, L., W. Chang, G. Lohman, J. McPherson, P. Wilms, G. Lapis, B. Lindsay, H. Pirahesh, M. J. Carey, and E. Shekita (1990). Starburst mid-flight: As the dust clears. IEEE Trans. on Knowledge and Data Engineering 2(1), 143\u2013161. Reprinted in (Stonebraker 1994).","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"2_CR78","doi-asserted-by":"crossref","unstructured":"Heintze, N. and J. Jaffar (1994). Set constraints and set-based analysis. In A. Borning (Ed.), Proc. 2nd Workshop on Principles and Practice of Constraint Programming, Seattle WA.","DOI":"10.1007\/3-540-58601-6_107"},{"key":"2_CR79","unstructured":"Helm, R., T. Huynh, C. Lassez, and K. Marriott (1992). A linear constraint technology for interactive graphic systems. In Proc. Graphics Interface '92, Vancouver."},{"key":"2_CR80","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1006\/jcss.1995.1061","volume":"51","author":"R. Helm","year":"1995","unstructured":"Helm, R., K. Marriott, and M. Odersky (1995). Spatial query optimization: From Boolean constraints to range queries. Journal of Computer and System Science 51, 197\u2013210.","journal-title":"Journal of Computer and System Science"},{"key":"2_CR81","unstructured":"Hermosilla, L. and G. Kuper (1995). Towards the definition of a spatial object-oriented data model with constraints. In G. Kuper and M. Wallace (Eds.), Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB'95), Friedrichshafen, Germany, pp. 120\u2013131. LNCS 1034."},{"key":"2_CR82","volume-title":"Technical Report ECRC-93-15","author":"L. H. Hermosilla","year":"1993","unstructured":"Hermosilla, L. H. (1993). A requirement analysis for supporting temporal reasoning in geographic information systems. Technical Report ECRC-93-15, ECRC, Arabellastr. 17, M\u00fcnchen."},{"key":"2_CR83","unstructured":"Heus, K. and G. Weil (1996). Constraint programming: a nurse scheduling application. In Proc. Practical Applications of Constraint Technology (PACT'96), London, pp. 115\u2013128."},{"issue":"9\/10","key":"2_CR84","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0898-1221(90)90108-V","volume":"20","author":"T. Huynh","year":"1990","unstructured":"Huynh, T. and C. Lassez (1990). An expert decision-support system for option-based investment. Computer Mathematics with Applications 20(9\/10), 1\u201314.","journal-title":"Computer Mathematics with Applications"},{"key":"2_CR85","doi-asserted-by":"crossref","unstructured":"Hyv\u00f6nen, E. (1991). Interval constraint spreadsheets for financial planning. In Proc. First International Conference on Artificial Intelligence Applications on Wall Street. IEEE Computer Society Press.","DOI":"10.1109\/AIAWS.1991.236585"},{"key":"2_CR86","unstructured":"ILOG (1995). Proceedings of the ILOG user-group meeting. Available under http:\/\/www.ilog.com."},{"key":"2_CR87","volume-title":"Constraint logic programming","author":"J. Jaffar","year":"1986","unstructured":"Jaffar, J. and J.-L. Lassez (1986). Constraint logic programming. IBM, Thomas J. Watson Research Center, Yorktown Heights, USA."},{"key":"2_CR88","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and J.-L. Lassez (1987). Constraint logic programming. In Proceedings of the 14th ACM POPL Symposium, Munich, West Germany.","DOI":"10.1145\/41625.41635"},{"issue":"20","key":"2_CR89","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J. and M. J. Maher (1994), Constraint logic programming: A survey. Journal of Logic Programming 19,20, 503\u2013581.","journal-title":"Journal of Logic Programming"},{"key":"2_CR90","doi-asserted-by":"crossref","unstructured":"Jagadish, H. V. (1990). Spatial search with polyhedra. In Proc. 6th Int. Conference on Data Engineering, pp. 311\u2013319.","DOI":"10.1109\/ICDE.1990.113483"},{"key":"2_CR91","doi-asserted-by":"crossref","unstructured":"Jagadish, H. V. (1991). A retrieval technique for similar shapes. In Proc. ACM SIGMOD Conference on Management of Data, pp. 208\u2013217.","DOI":"10.1145\/115790.115821"},{"key":"2_CR92","doi-asserted-by":"crossref","unstructured":"Jagadish, H. V. and A. O. Mendelzon (1995). Similarity-based queries. In Proc. 14th ACM Symposium on Principles of Database Systems (PODS), San Jose, CA.","DOI":"10.1145\/212433.212444"},{"key":"2_CR93","doi-asserted-by":"crossref","unstructured":"Jain, R. (1993). Report on the NSF workshop on visual information management systems.","DOI":"10.1145\/163090.163099"},{"key":"2_CR94","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/356924.356928","volume":"16","author":"M. Jarke","year":"1984","unstructured":"Jarke, M. and J. Koch (1984). Query optimization in database systems. ACM Computing Surveys 16, 111\u2013152.","journal-title":"ACM Computing Surveys"},{"key":"2_CR95","unstructured":"Kanellakis, P., S. Ramaswamy, D. Vengroff, and J. Vitter (1993). Indexing for data models with constraints and classes. In Proc. 12th ACM Symposium on Principles of Database Systems (PODS), Washington, DC, pp. 233\u2013243."},{"key":"2_CR96","volume-title":"Technical report","author":"P. C. Kanellakis","year":"1994","unstructured":"Kanellakis, P. C. and D. Q. Goldin (1994). Constraint programming and database query languages. Technical report, Brown University, Providence."},{"key":"2_CR97","unstructured":"Kanellakis, P. C., G. Kuper, and P. Revesz (1990). Constraint query languages. In Proc. 9th ACM Symposium on Principles of Database Systems (PODS), Nashville, Tennessee, pp. 299\u2013313."},{"issue":"1","key":"2_CR98","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P. C. Kanellakis","year":"1995","unstructured":"Kanellakis, P. C., G. Kuper, and P. Revesz (1995). Constraint query languages. Journal of Computer and System Science 51(1), 26\u201352.","journal-title":"Journal of Computer and System Science"},{"key":"2_CR99","unstructured":"Kay, P. and H. Simonis (1995). Building industrial CHIP applications from reusable software components. In Proc. Conf. on Practical Applications of Prolog (PAP'95)."},{"key":"2_CR100","unstructured":"Kemp, D. and P. Stuckey (1993). Analysis-based constraint query optimization. In D. S. Warren (Ed.), Proc. 10th Int. Conference on Logic Programming, pp. 666\u2013682. MIT Press."},{"key":"2_CR101","doi-asserted-by":"crossref","unstructured":"Kifer, M., W. Kim, and Y. Sagiv (1992). Querying object-oriented databases. In Proc. ACM SIGMOD Conference on Management of Data, pp. 393\u2013402.","DOI":"10.1145\/130283.130342"},{"key":"2_CR102","doi-asserted-by":"crossref","unstructured":"Kifer, M. and G. Lausen (1989). F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conference on Management of Data, pp. 134\u2013146.","DOI":"10.1145\/67544.66939"},{"key":"2_CR103","doi-asserted-by":"crossref","unstructured":"Koubarakis, M. (1993). Representing and querying in temporal databases: The power of temporal constraints. In Proc. 9th Int. Conference on Data Engineering.","DOI":"10.1109\/ICDE.1993.344049"},{"key":"2_CR104","doi-asserted-by":"crossref","unstructured":"Koubarakis, M. (1994). Foundations of indefinite constraint databases. In A. Borning (Ed.), Second Workshop on Principles and Practice of Constraint Programming (PPCP'94), Seattle WA.","DOI":"10.1007\/3-540-58601-6_106"},{"key":"2_CR105","doi-asserted-by":"crossref","unstructured":"Koubarakis, M. (1996). Tractable disjunctions of linear constraints. In Proc. 2nd Int. Conf. Principles and Practice of Constraint Programming, (CP'96), Boston. LNCS 1118.","DOI":"10.1007\/3-540-61551-2_82"},{"key":"2_CR106","unstructured":"Kowalski, R. A., F. Sadri, and P. Soper (1987). Integrity checking in deductive databases. In Proc. Thirteenth Int. Conf. on Very Large Data Bases, Brighton, U.K., pp. 61\u201369."},{"key":"2_CR107","unstructured":"Kuper, G. M. (1993). Aggregation in constraint databases. In Proc. 1st Workshop on Principles and Practice of Constraint Programming (PPCP'93)."},{"issue":"34","key":"2_CR108","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/125223.125244","volume":"10","author":"C. Lamb","year":"1991","unstructured":"Lamb, C., G. Landis, J. Orenstein, and D. Weinreb (1991). The ObjectStore database system. Communications of the ACM 10(34), 50\u201363.","journal-title":"Communications of the ACM"},{"key":"2_CR109","unstructured":"Lazaro, J. M. and P. Aristondo (1996). Job rostering with constraints. In Proc. Practical Applications of Constraint Technology (PACT'96), London, pp. 155\u2013168."},{"key":"2_CR110","unstructured":"Levy, A. and Y. Sagiv (1992). Constraints and redudancy in Datalog. In Proc. 12th ACM Symposium on Principles of Database Systems (PODS), San Diego, CA, pp. 67\u201380."},{"key":"2_CR111","unstructured":"Mailharro, D. and T. Le Quenven (1995). A constraint-based tool for automatic sizing of an instrument and control architecture. In Proc. ILOG Solver Users Conference, Paris. Available under http:\/\/www.ilog.com."},{"key":"2_CR112","unstructured":"Mezzanatto, G., M. Foglino, P. Giordanengo, M. Apra, and G. Gullane (1993). Using AI techniques to design and install electrical bundles. In Proc. 13th International Conf. on Artificial Intelligence, Expert Systems and Natural Language, Avignon."},{"key":"2_CR113","doi-asserted-by":"crossref","unstructured":"Miranker, D. P., R. J. Bayardo, and V. Samolados (1996). Query evaluation as constraint search: An overview of early results. In Workshop on Constraints and Databases. In this volume.","DOI":"10.1007\/3-540-62501-1_24"},{"issue":"1","key":"2_CR114","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/128762.128764","volume":"24","author":"P. Mishra","year":"1992","unstructured":"Mishra, P. and M. H. Eich (1992). Join processing in relational databases. ACM Computing Surveys 24(1), 63\u2013113.","journal-title":"ACM Computing Surveys"},{"key":"2_CR115","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"Mohr, R. and T. C. Henderson (1986). Arc and path consistency revisited. Artificial Intelligence 28, 225\u2013233.","journal-title":"Artificial Intelligence"},{"key":"2_CR116","unstructured":"Monfroy, E. (1992). Gr\u00f6bner Bases: Strategies and Applications. In Conference on Artificial Intelligence and Symbolic Mathematical Computations, Karlsruhe, Germany."},{"issue":"2","key":"2_CR117","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U. (1974). Networks of constraints: Fundamental properties and applications to picture processing. Information Science 7(2), 95\u2013132.","journal-title":"Information Science"},{"key":"2_CR118","unstructured":"M\u00fcller, J. (1995). Environmental monitoring system. ESPRIT Project 6757."},{"key":"2_CR119","doi-asserted-by":"crossref","unstructured":"Mumick, I. S., S. J. Finkelstein, H. Pirahesh, and R. Ramakrishnan (1990). Magic conditions. In Proc. 9th ACM Symposium on Principles of Database Systems (PODS), Nashville, Tennessee, pp. 314\u2013330.","DOI":"10.1145\/298514.298584"},{"key":"2_CR120","unstructured":"Pavlopoulou, C., A. P. Gionis, P. Stamatopoulos, and C. Halatsis (1996). Crew pairing optimisation based on CLP. In Proc. Practical Applications of Constraint Technology (PACT'96), London, pp. 191\u2013210."},{"key":"2_CR121","unstructured":"Puddicombe, A. (1996). National land information service."},{"key":"2_CR122","volume-title":"LNCS 976","author":"J.-F. Puget","year":"1995","unstructured":"Puget, J.-F. (1995). Applications of constraint programming. In U. Montanari and F. Rossi (Eds.), Proc. 1st Int. Conference on Principles and Practice of Constraint Programming (CP'95), Cassis, France. Springer-Verlag. LNCS 976."},{"key":"2_CR123","unstructured":"Puget, J.-F. (1996). Finite set intervals. Workshop on Set Constraints."},{"key":"2_CR124","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0743-1066(91)90026-L","volume":"11","author":"R. Ramakrishnan","year":"1991","unstructured":"Ramakrishnan, R. (1991). Magic templates. Journal of Logic Programming 11, 189\u2013216.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"2_CR125","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(93)90222-F","volume":"116","author":"P. Z. Revesz","year":"1993","unstructured":"Revesz, P. Z. (1993). A closed form evaluation for datalog queries with integer (gap-) order constraints. Theoretical Computer Science 116(1), 117\u2013149.","journal-title":"Theoretical Computer Science"},{"key":"2_CR126","doi-asserted-by":"crossref","unstructured":"Revesz, P. Z. (1995a). Datalog queries of set constraint databases. In Proc. Int. Conference on Database Theory, pp. 425\u2013438.","DOI":"10.1007\/3-540-58907-4_32"},{"key":"2_CR127","first-page":"154","volume-title":"LNCS 976","author":"P. Z. Revesz","year":"1995","unstructured":"Revesz, P. Z. (1995b). Safe stratified Datalog with integer order programs. In U. Montanari and F. Rossi (Eds.), Proc. 1st Int. Conference on Principles and Practice of Constraint Programming (CP'95), Cassis, France, pp. 154\u2013169. Springer-Verlag. LNCS 976."},{"key":"2_CR128","doi-asserted-by":"crossref","unstructured":"Revesz, P. Z. (1996). Genomic databse applications in DISCO. In Workshop on Constraints and Databases. In this volume.","DOI":"10.1007\/3-540-62501-1_35"},{"issue":"12","key":"2_CR129","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1109\/69.63249","volume":"2","author":"G.-C. Roman","year":"1990","unstructured":"Roman, G.-C. (1990). Formal specification of data processing requirements. IEEE Transactions on Knowledge and Data Engineering 2(12), 370\u2013380.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"2_CR130","doi-asserted-by":"crossref","unstructured":"Saraswat, V. (1993). Concurrent Constraint Programming. Logic Programming and Doctoral Dissertion Award Series. MIT Press.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"2_CR131","unstructured":"Schiwietz, M. (1993). Speicherung und Anfragebearbeitung komplexer GeoObjekte. Ph. D. thesis, Ludwig-Maximilians Universit\u00e4t M\u00fcnchen. In German."},{"key":"2_CR132","unstructured":"Shankar, A., D. Gilbert, and M. Jampel (1996). Transient analysis of linear circuits using constraint logic programming. In Proc. Practical Applications of Constraint Technology (PACT'96), London, pp. 221\u2013248."},{"key":"2_CR133","unstructured":"Simonis, H. (1995). Application development with the CHIP system. In G. Kuper and M. Wallace (Eds.), Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB'95), Friedrichshafen, Germany, pp. 1\u201321. LNCS 1034."},{"key":"2_CR134","volume-title":"LNCS 976","author":"H. Simonis","year":"1995","unstructured":"Simonis, H. and T. Cornelissens (1995). Modelling producer\/consumer constraints. In U. Montanari and F. Rossi (Eds.), Proc. 1st Int. Conference on Principles and Practice of Constraint Programming (CP'95), Cassis, France. Springer-Verlag. LNCS 976."},{"key":"2_CR135","doi-asserted-by":"crossref","unstructured":"Srivastava, D. and R. Ramakrishnan (1992). Pushing constraint selection. In Proc. 11th ACM Symposium on Principles of Database Systems (PODS), San Diego, CA, pp. 301\u2013315.","DOI":"10.1145\/137097.137897"},{"key":"2_CR136","doi-asserted-by":"crossref","unstructured":"Srivastava, D., R. Ramakrishnan, and P. Revesz (1994). Constraint objects. In A. Borning (Ed.), Second Workshop on Principles and Practice of Constraint Programming (PPCF '94), Seattle WA.","DOI":"10.1007\/3-540-58601-6_103"},{"key":"2_CR137","unstructured":"Stolboushkin, A. P. and M. A. Taitslin (1996). Linear vs. order constraint queries over rational databases. In Proc. 15th ACM Symposium on Principles of Database Systems (PODS), Montreal, Canada, pp. 17\u201327."},{"key":"2_CR138","volume-title":"Readings in Database Systems","author":"M. Stonebraker","year":"1994","unstructured":"Stonebraker, M. (Ed.) (1994). Readings in Database Systems, San Mateo. Morgan Kaufmann. Second edition.","edition":"Second edition"},{"issue":"10","key":"2_CR139","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/125223.125262","volume":"34","author":"M. Stonebraker","year":"1991","unstructured":"Stonebraker, M. and G. Kemnitz (1991). The POSTGRES next generation database management system. Communications of the ACM 34(10), 78\u201392. Reprinted in (Stonebraker 1994).","journal-title":"Communications of the ACM"},{"key":"2_CR140","unstructured":"Stuckey, P. J. and S. Sudarshan (1994). Compiling query constraints. In Proc. 13th ACM Symposium on Principles of Database Systems (PODS), Minneapolis, MA, pp. 56\u201367."},{"key":"2_CR141","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"Tarski, A. (1951). A Decision Method for Elementary Algebra and Geometry. Berkeley: University of California Press. 2nd revised edition.","edition":"2nd revised edi"},{"issue":"3","key":"2_CR142","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/101077.390001","volume":"19","author":"The Committee for Advanced DBMS Functions","year":"1990","unstructured":"The Committee for Advanced DBMS Functions (1990). Third-generation database system manifesto. SIGMOD Record 19(3), 31\u201344. Reprinted in (Stonebraker 1994).","journal-title":"SIGMOD Record"},{"key":"2_CR143","unstructured":"The Practical Applications Company (1996). Practical Application of Constraint Technology. The Practical Applications Company."},{"issue":"3","key":"2_CR144","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0304-3975(87)90113-7","volume":"52","author":"R. W. Topor","year":"1987","unstructured":"Topor, R. W. (1987). Domain independent formulas and databases. Theoretical Computer Science 52(3), 281\u2013306.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"2_CR145","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden Van","year":"1976","unstructured":"Van Emden, M. H. and R. A. Kowalski (1976). The semantics of predicate logic as a programming language. Journal of the ACM 23(4), 733\u2013742.","journal-title":"Journal of the ACM"},{"key":"2_CR146","doi-asserted-by":"crossref","unstructured":"Van Gelder, A. and R. W. Topor (1987). Safety and correct translation of relational calculus formulas. In Proc. ACM Symp. on Principles of Database Systems (PODS), San Diego, Ca., pp. 313\u2013327. Revised version to appear in ACM Transactions on Database Systems.","DOI":"10.1145\/28659.28693"},{"key":"2_CR147","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P. (1989a). A Logic Language for Combinatorial Optimization. Annals of Operations Research: Special Issue on Links with Artificial Intelligence.","DOI":"10.1007\/BF02022102"},{"key":"2_CR148","series-title":"Logic Programming Series","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck, P. (1989b). Constraint Satisfaction in Logic Programming. Logic Programming Series. Cambridge, MA: MIT Press."},{"key":"2_CR149","unstructured":"Van Hentenryck, P., D. McAllester, and D. Kapur (1995). Solving polynomial systems using a branch and prune approach. SIAM Journal on Numerical Analysis."},{"key":"2_CR150","unstructured":"Wallace, M. (1991). Compiling integrity checking into update procedures. In Proc. IJCAI'91, Sydney."},{"key":"2_CR151","doi-asserted-by":"crossref","unstructured":"Wallace, M. (1996). Practical applications of constraint programming. Constraints Journal 1(1).","DOI":"10.1007\/BF00143881"},{"key":"2_CR152","unstructured":"Wallace, M., S. Bressan, and T. L. Provost (1995). Magic checking: Constraint checking for database query optimisation. In G. Kuper and M. Wallace (Eds.), Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB'95), Friedrichshafen, Germany, pp. 148\u2013166. LNCS 1034."},{"key":"2_CR153","unstructured":"Wallace, M. G. (1995). Constraints as a tool for distributed scheduling. In Proc. International Conf on Improving Manufacturing Performance in the Distributed Enterprise: Advanced Systems and Tools, pp. 129\u2013146."},{"key":"2_CR154","first-page":"84","volume-title":"LNCS 1034","author":"T. M. Yakhno","year":"1995","unstructured":"Yakhno, T. M., G. B. Cheblakov, and V. Z. Zilberfain (1995). FISSURE: Finder of solutions with subdefinite resources. In G. Kuper and M. Wallace (Eds.), Proc. 1st Int. Database Workshop on Constraint Database Systems (CDB'95), Friedrichshafen, Germany, pp. 84\u2013101. Springer Verlag. LNCS 1034."},{"key":"2_CR155","doi-asserted-by":"crossref","unstructured":"Zhang, Y. and A. K. Mackworth (1995). Synthesis of hybrid constraint-based controllers. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (Eds.), Hybrid Systems II, pp. 552\u2013567. Springer Verlag. LNCS 999.","DOI":"10.1007\/3-540-60472-3_28"}],"container-title":["Lecture Notes in Computer Science","Constraint Databases and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62501-1_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:14:59Z","timestamp":1640949299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62501-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540625018","9783540680499"],"references-count":155,"URL":"https:\/\/doi.org\/10.1007\/3-540-62501-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}