Meta-level control for deductive database systems :: SCD d'Orléans

Meta-level control for deductive database systems

Meta-level control for deductive database systems

The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a d...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Schmidt, Helmut
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in computer science 479
Pynciau:	Informatique Intelligence artificielle Bases de données déductives
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Meta-level control for deductive database systems, Helmut Schmidt, Berlin, Springer-Verlag, 1991, 1 vol. (VI-155 p.), Lecture notes in computer science, 0-387-53754-6 • Meta-Level Control for Deductive Database Systems, Texte imprimé, 9783662189245

Eitemau Tebyg

Deductive and object-oriented databases : fourth international conference, DOOD '95, Singapore, December 4-7, 1995 : proceedings

Deductive and object-oriented databases : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8 12, 1997 : proceedings

Deductive and object-oriented databases : third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings

Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers

Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings

Deductive and object-oriented databases : Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 : proceedings

Database Support for Data Mining Applications : Discovering Knowledge with Inductive Queries
gan: Meo, Rosa

Database and expert systems applications : 4th international conference, Prague, Czech Republic, September 6-8, 1993 : proceedings
gan: Lazansky, Jiri, et al.

The problem of incomplete information in relational databases
gan: Grahne, Gösta, 1955-

Database and expert systems applications : 6th International Conference, DEXA '95, London, United Kingdom, September 1995 : proceedings

Design and implementation of large spatial databases : First Symposium SSD '89, Santa Barbara, California, July 17/18, 1989 : proceedings

SGBD avancés : bases de données objets, déductives, réparties
gan: Gardarin, Georges, 1947-, et al.
Cyhoeddwyd: (1989)

Advances in database technology - EDBT '96 : 5th International Conference on Extending Database, Technology Avignon, France, March 25 29, 1996 : proceedings

Inference control in statistical databases : from theory to practice
gan: Domingo-Ferrer, Josep

Semantics in databases : second international workshop, Dagstuhl Castle, Germany, January 7-12, 2001 : revised papers

Database and expert systems applications : 8th International Conference, DEXA '97 Toulouse, France, September 1 5, 1997 : proceedings

Spatio-temporal databases : the CHOROCHRONOS approach
gan: Koubarakis, Manolis, 1963-

Interactive relational database design : a logic programming implementation
gan: Bagchi, Tapan Prasad, et al.

Knowledge discovery in databases : PKDD 2003 : 7th European conference on principles and practice of knowledge discovery in databases, Cavtat-Dubrovnik, Croatia, september 22-26, 2003 : proceedings

Advances in database technology - EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23 27, 1992 : proceedings

Advances in spatial and temporal databases : 8th international symposium, SSTD 2003, Santorini Island, Greece, July 24-27, 2003 : proceedings

Advances in spatial and temporal databases : 7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12 15, 2001 : proceedings

Advanced database systems
gan: Adam, Nabil R., 1942-

Privacy in statistical databases : CASC Project final conference, PSD 2004, Barcelona, Catalonia, Spain, June 9-11, 2004 : proceedings

Quality-driven query answering for integrated information systems
gan: Naumann, Felix

Foundations of Intelligent Systems : 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000 : proceedings
gan: Ras, Zbigniew W., 1947-

Database Schema Evolution and Meta-Modeling : 9th International Workshop on Foundations of Models and Languages for Data and Objects FoMLaDO/DEMM 2000 Dagstuhl Castle, Germany, September 18 21, 2000 Selected Papers

Bases de données : objet & relationnel
gan: Gardarin, Georges, 1947-
Cyhoeddwyd: (1999)

Advances in object-oriented database systems

On the move to meaningful Internet systems 2004 : CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004 : proceedings, part II

On the move to meaningful Internet systems 2004 : CoopIS, DOA, and ODBASE
gan: Meersman, Robert A., 1947-...., linguiste

Advances in knowledge discovery and data mining : 7th Pacific-Asia Conference, PAKDD 2003, Seoul, Korea, April 30 May 2, 2003 : proceedings

On the move to meaningful Internet systems 2002 : CoopIS, DOA, and ODBASE : confederated international conferences CoopIS, DOA, and ODBASE 2002 : proceedings

Flexible query answering systems : 5th International conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002 : proceedings

Système de logique déductive et inductive : exposé des principes de la preuve et des méthodes de recherche scientifique
gan: Mill, John Stuart, 1806-1873, philosophe
Cyhoeddwyd: (1880)

Cooperative information agents : First International Workshop, CIA'97, Kiel, Germany, February 26-28, 1997 : proceedings
gan: Kandzia, Peter, 1938-

The nested universal relation database model
gan: Levene, Mark, 1957-

Advances in knowledge discovery and data mining : 8th Pacific-Asia conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004 : proceedings
gan: Dai, Honghua

Semantics in databases
gan: Thalheim, Bernhard, 1952-

Spatial data types for database systems : finite resolution geometry for geographic information systems
gan: Schneider, Markus, 1963-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales