WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/866735384

Logic in databases

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.

Open All Close All

type

about

http://schema.org/about

alternateName

author

contributor

creator

description

http://schema.org/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."@en

editor

genre

http://schema.org/genre

  • "Kongreß"
  • "Congressen (vorm)"
  • "Kongress"
  • "San Miniato (1996)"
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"
  • "Electronic books"@en

name

http://schema.org/name

  • "Logic in databases : international Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996 ; proceedings"
  • "Logic in databases : international workshop LID '96, San Miniato, Italy, july 1-2, 1996, proceedings"
  • "Logic in databases international workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings"
  • "Logic in databases : International workshop LID '96 : San Miniato, Italy, July 1-2, 1996 : proceedings"
  • "Logic in Databases International Workshop LID '96 San Miniato, Italy, July 1-2, 1996 Proceedings"
  • "Logic in databases"@en
  • "Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996 ; proceedings"
  • "Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings"@en
  • "Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings"
  • "Logic in databases : proceedings"
  • "Logic in databases : international workshop LID'96, San Miniato, Italy, July 1-2, 1996 : proceedings"
  • "Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings"
  • "Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings"@en

workExample