S'està carregant…

Logic and data bases (edició 1978)

de Hervé Gallaire, Jack Minker

Membres	Ressenyes	Popularitat	Valoració mitjana	Converses
6	Cap	2,628,594	Cap	Cap
An Overview and Introduction to Logic and Data Bases.- Data Bases Viewed Through Formal Logic.- Data Base: Theory vs. Interpretation.- On Closed World Data Bases.- Logic for Data Description.- Knowledge Representation and Deduction.- An Experimental Relational Data Base System Based on Logic.- Deductive Question-Answering on Relational Data Bases.- Deductive Planning and Pathfinding for Relational Data Bases.- DEDUCE 2: Further Investigations of Deduction in Relational Data Bases.- Nondeterministic Languages Used for the Definition of Data Models.- An Axiomatic Data Base Theory.- Negative Information and Data Bases.- Negation as Failure.- Logic and Data Base Integrity.- Integrity Checking in Deductive Data Bases.- Query Languages and Applications.- The Application of PROLOG to the Development of QA and DBM Systems.- The Predicate Calculus-Language KS as a Query Language.- High Level Data Base Query Languages.- Author Index.- List of Referees.- Addresses of Contributing Authors.… (més)

▾Informació de l'exemplar

Membre:	mtbearded1
Títol:	Logic and data bases
Autors:	Hervé Gallaire
Altres autors:	Jack Minker
Informació:	New York : Plenum Press, c1978.
Col·leccions:	La teva biblioteca
Valoració:
Etiquetes:	C3. Computing

Informació de l'obra

Logic and data bases de Hervé Gallaire

tots els membres

▾Membres

Afegit fa poc per

tdietterich, mtbearded1, laguvajra

▾Etiquetes

C3. Computing (1)

Traducció d'etiquetes activa

▾Llistes

Cap

▾T'agradarà?

S'està carregant…

Apunta't a LibraryThing per saber si aquest llibre et pot agradar.

▾Converses (Enllaços)

No hi ha cap discussió a Converses sobre aquesta obra.

▾Ressenyes dels membres

Sense ressenyes

▾Ressenyes publicades

Sense ressenyes | afegeix-hi una ressenya

▾Altres autors

» Afegeix-hi altres autors

▾Relacions entre sèries i obres

▾Premis i honors

mostra l'historial

▾Coneixement comú

Has d'iniciar sessió per poder modificar les dades del coneixement compartit.

Si et cal més ajuda, mira la pàgina d'ajuda del coneixement compartit.

Títol normalitzat

Títol original

Títols alternatius

Data original de publicació

Gent/Personatges

Llocs importants

Esdeveniments importants

Pel·lícules relacionades

Epígraf

Dedicatòria

Primeres paraules

Citacions

Darreres paraules

Nota de desambiguació

Editor de l'editorial

Creadors de notes promocionals a la coberta

Llengua original

CDD/SMD canònics

LCC canònic

▾Referències

Referències a aquesta obra en fonts externes.

Wikipedia en anglès (1)

Closed-world assumption

▾Descripcions del llibre

An Overview and Introduction to Logic and Data Bases.- Data Bases Viewed Through Formal Logic.- Data Base: Theory vs. Interpretation.- On Closed World Data Bases.- Logic for Data Description.- Knowledge Representation and Deduction.- An Experimental Relational Data Base System Based on Logic.- Deductive Question-Answering on Relational Data Bases.- Deductive Planning and Pathfinding for Relational Data Bases.- DEDUCE 2: Further Investigations of Deduction in Relational Data Bases.- Nondeterministic Languages Used for the Definition of Data Models.- An Axiomatic Data Base Theory.- Negative Information and Data Bases.- Negation as Failure.- Logic and Data Base Integrity.- Integrity Checking in Deductive Data Bases.- Query Languages and Applications.- The Application of PROLOG to the Development of QA and DBM Systems.- The Predicate Calculus-Language KS as a Query Language.- High Level Data Base Query Languages.- Author Index.- List of Referees.- Addresses of Contributing Authors.

▾Descripcions provinents de biblioteques

No s'han trobat descripcions de biblioteca.

▾Descripció dels membres de LibraryThing

Descripció del llibre

Sumari haiku