Logic in Databases - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540618140, 9783540706830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An axiomatic interpretation of confidentiality demands in logic-based relational databases

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031748 ◽

1996 ◽

pp. 303-319 ◽

Author(s):

Adrian Spalka ◽

Armin B. Cremers

Keyword(s):

Relational Databases

Download Full-text

Deductive Databases: Challenges, opportunities and future directions

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031743 ◽

1996 ◽

pp. 223-229 ◽

Author(s):

Arno Siebes ◽

Shalom Tsur ◽

Jeff Ullman ◽

Laurent Vieille ◽

Carlo Zaniolo

Keyword(s):

Deductive Databases ◽

Future Directions

Download Full-text

Logic and databases: A 20 year retrospective

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031734 ◽

1996 ◽

pp. 1-57 ◽

Author(s):

Jack Minker

Download Full-text

Expressiveness of semipositive logic programs with value invention

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031756 ◽

1996 ◽

pp. 455-474 ◽

Author(s):

Luca Cabibbo

Keyword(s):

Download Full-text

Language extensions for semantic integration of deductive databases

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031754 ◽

1996 ◽

pp. 415-434 ◽

Author(s):

P. Asirelli ◽

C. Renso ◽

F. Turini

Keyword(s):

Semantic Integration ◽

Deductive Databases

Download Full-text

A parametric approach to deductive databases with uncertainty

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031735 ◽

1996 ◽

pp. 59-81 ◽

Author(s):

Laks V. S. Lakshmanan ◽

Nematollaah Shiri

Keyword(s):

Deductive Databases ◽

Parametric Approach

Download Full-text

Database query evaluation with the STARBASE method

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031749 ◽

1996 ◽

pp. 321-342

Author(s):

Estrella Pulido

Keyword(s):

Query Evaluation ◽

Download Full-text

Analysis of logic-based systems

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031747 ◽

1996 ◽

pp. 279-301

Author(s):

Dmitri Boulanger

Download Full-text

Stable model checking for disjunctive logic programs

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031746 ◽

1996 ◽

pp. 265-278 ◽

Author(s):

N. Leone ◽

P. Rullo ◽

F. Scarcello

Keyword(s):

Model Checking ◽

Stable Model ◽

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

Nested transactions in a logical language for active rules

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031742 ◽

1996 ◽

pp. 197-222 ◽

Author(s):

Bertram Ludäscher ◽

Wolfgang May ◽

Georg Lausen

Keyword(s):

Active Rules ◽

Nested Transactions ◽

Logical Language

Download Full-text