Logic in Databases - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540618140, 9783540706830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Expressiveness of semipositive logic programs with value invention

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031756 ◽

1996 ◽

pp. 455-474 ◽

Cited By ~ 4

Author(s):

Luca Cabibbo

Keyword(s):

Logic Programs

Download Full-text

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 27

Author(s):

Jack Minker

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 ◽

Database Query

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 3

Author(s):

Laks V. S. Lakshmanan ◽

Nematollaah Shiri

Keyword(s):

Deductive Databases ◽

Parametric Approach

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 ◽

Cited By ~ 3

Author(s):

N. Leone ◽

P. Rullo ◽

F. Scarcello

Keyword(s):

Model Checking ◽

Stable Model ◽

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

Unification of bounded simple set terms in deductive databases

Logic in Databases - Lecture Notes in Computer Science ◽

10.1007/bfb0031755 ◽

1996 ◽

pp. 435-453 ◽

Cited By ~ 2

Author(s):

Sergio Greco ◽

Cristinel Mateis ◽

Eugenio Spadafora

Keyword(s):

Deductive Databases ◽

Simple Set

Download Full-text

Logic in Databases - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Expressiveness of semipositive logic programs with value invention

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

Deductive Databases: Challenges, opportunities and future directions

Logic and databases: A 20 year retrospective

Database query evaluation with the STARBASE method

Language extensions for semantic integration of deductive databases

A parametric approach to deductive databases with uncertainty

Analysis of logic-based systems

Stable model checking for disjunctive logic programs

Unification of bounded simple set terms in deductive databases

Logic in Databases - Lecture Notes in Computer Science
Latest Publications