ENGLISH

Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings

By Dino Pedreschi , Jack Minker (auth.) , Carlo Zaniolo (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1996
ISBN
3540618147, 9783540618140
DOI
10.1007/BFb0031733
LCC
QA76.9.D3 L642 1996
Open Library ID
OL1002503M
Language
english
Format
DJVU
Filesize
5 MB (5032942 bytes)
Series
Lecture Notes in Computer Science 1154
Edition
1
Pages
505\493
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Database Management; Mathematical Logic and Formal

Description

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity. The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers are organized in sections on uncertainty, temporal and spatial reasoning, updates, active databases, semantics, advanced applications, query evaluation, language extensions, and logic constructs and expressive power.

Similar books