Logic and Data Bases
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer US

9781468433869, 9781468433845
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Axiomatic Data Base Theory

1978 ◽  
pp. 259-289 ◽  
Author(s):  
Sten-Åke Tärnlund
Keyword(s):  
Data Base ◽  
Base Theory

An Overview and Introduction to Logic and Data Bases

1978 ◽  
pp. 3-30 ◽  
Author(s):  
Herve Gallaire ◽  
Jack Minker ◽  
Jean Marie Nicolas
Keyword(s):  
Data Bases

Data Base: Theory vs. Interpretation

1978 ◽  
pp. 33-54 ◽  
Author(s):  
J. M. Nicolas ◽  
H. Gallaire
Keyword(s):  
Data Base ◽  
Base Theory

Nondeterministic Languages Used for the Definition of Data Models

1978 ◽  
pp. 237-257 ◽  
Author(s):  
Marco Colombetti ◽  
Paolo Paolini ◽  
Giuseppe Pelagatti
Keyword(s):  
Data Models ◽  
Definition Of

Deductive Planning and Pathfinding for Relational Data Bases

1978 ◽  
pp. 179-200 ◽  
Author(s):  
Charles Kellogg ◽  
Philip Klahr ◽  
Larry Travis
Keyword(s):  
Relational Data ◽  
Data Bases ◽  
Deductive Planning ◽  
Relational Data Bases

The Application of Prolog to the Development of QA and DBM Systems

1978 ◽  
pp. 347-376 ◽  
Author(s):  
I. Futó ◽  
F. Darvas ◽  
P. Szeredi

Integrity Checking in Deductive Data Bases

1978 ◽  
pp. 325-344 ◽  
Author(s):  
J. M. Nicolas ◽  
K. Yazdanian
Keyword(s):  
Data Bases ◽  
Integrity Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document