Integrating relational databases and constraint languages

Brownston, 1985 Su, 1985, Incorporating knowledge rules in a semantic data model: an approach to integrated knowledge management, 250 Raschid, 1988, A transaction oriented mechanism to control processing in a knowledge base management system, 163 Morgenstern, 1984, The role of constraints in databases, expert systems, and knowledge representations, 207 Clocksin, 1981 Brodie, 1984, On integrating logic programming and database, 40 Ullman, 1988, Vol. 1 Missikoff, 1984, Towards a unified approach for expert and database systems, 186 Shepherd, 1984, Constraint management in expert database systems, 522 Stonebraker, 1986, An analysis of rule indexing implementations in data base systems, 353 Gallaire, 1984, Logic and databases: a deductive approach, Comput. Surv., 16, 153, 10.1145/356924.356929 Lucas, 1979, On the structure of application programs Lucas, 1982, Representation of factual information by equations and their evaluation, San Jose, Calif.: IBM Research Report No. RJ 3362 Lucas, 1985, On the versatility of knowledge representations, 143 Zima, 1986, A constraint language and its interpreter, Comput. Lang., 11, 65, 10.1016/0096-0551(86)90002-0 Chamberlin, 1976, SEQUEL 2: A unified approach to data definition, manipulation and control, IBM J. Res. Dev., 20, 10.1147/rd.206.0560 IBM Corporation, 1984, IBM Database 2 application programming guide Hansen, 1985 Hansen, 1987, Non-redundant representation of computations: The integration of equations and relations, Department of Computer Science, Technical University of Denmark: Ph.D. thesis Henkin, 1971 Imielinski, 1984, The relational model of data and cylindric algebras, J. Comput. System Sci., 28, 80, 10.1016/0022-0000(84)90077-1 Hiebert, 1982, An evaluation of mathematical software that solves systems of nonlinear equations, ACM Trans. Math. Software, 8, 5, 10.1145/355984.355986 Morgan, 1983, A method for computing all solutions to systems of polynomial equations, ACM Trans. Math. Software, 9, 1, 10.1145/356022.356023 Bundy, 1983, The Computer Modelling of Mathematical Reasoning, 163 Hansen, 1985, Simple symbolic and numeric computations based on equations and inequalities, IBM Research Report RJ 4754 Bayer, 1985, Database technology for expert systems, 1, 10.1007/978-3-642-70840-4_1 Bancilhon, 1986, An amateur's introduction to recursive query processing strategies, 16 Chandra, 1985, Horn clause queries and generalizations, J. Logic Prog., 1, 1, 10.1016/0743-1066(85)90002-0 Aho, 1979, Universality of data retrieval languages, 110 Hansen, 1988, Algebraic optimization of recursive database queries, INFOR, 26, 286 Tarski, 1955, A Latice-theoretical fixpoint theorem and its applications, Pacific J. Math., 5, 285, 10.2140/pjm.1955.5.285 Bancilhon, 1986, Magic sets and other strange ways to implement logic programs, 1 Chang, 1981, On evaluation of queries containing derived relations in a relational data base, Vol. 1, 235 Gardarin, 1985, Evaluation of database recursive logic programs as recurrent function series, 177 Henschen, 1984, On compiling queries in recursive first-order database, J. ACM, 31, 47, 10.1145/2422.2423 Kifer, 1986, Filtering data flow in deductive databases, 186 van Emde Boas, 1985, RL, a language for enhanced rule based database processing Robinson, 1982, LOGLISP: An Alternative to PROLOG, 399 Ullman, 1985, Implementation of logical query languages for data bases, ACM Trans. Database Systems, 10, 289, 10.1145/3979.3980 Shoham, 1984, Knowledge inversion, 295 Hansen, 1984, Contributions to a theory of generic, interactive application software systems, Department of Computer Science, Technical University of Denmark: Report No. ID-TR 1984-1 van Emde Boas-Lubsen, 1984, Extending a relational database with logic programming facilities, INS-Development Center, Uithoorn The Netherlands: TR 13.195 van Emde Boas-Lubsen, 1986, Storing and evaluating horn-clause rules in a relational database, IBM J. Res. Dev, 30, 80, 10.1147/rd.301.0080 van Emde Boas, P. A semantical model for integration and modularization of rules. University of Amsterdam: FVI-UVA-86-12 van Emde Boas, 1986, 78 Kowalski, 1979 Codd, 1970, A relational model for large shared data banks, Commun. ACM, 13, 377, 10.1145/362384.362685 Bayer, 1985, Query evaluation and recursion in deductive database systems, Technical University of Munich: TUM-I8503 Backus, 1978, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Commun. ACM, 21, 613, 10.1145/359576.359579 Halpern, 1985, Denotational semantics and rewrite rules for FB, 108 Goguen, 1982, Programming with parameterized abstract objects in OBJ, 163 Manna, 1980, A deductive approach to program synthesis, ACM Trans. Prog. Lang. Systems, 2, 90, 10.1145/357084.357090 Manna, 1984, TABLOG: The deductive tableau programming language