Tools

LEADER 03842cam a2200409 a 4500

001 ocm35559122;

003 OCoLC;

005 20141212123736.0;

008 960904s1996 gw a b 101 0 eng ;

010 a| 96041820;

020 a| 3540618147 (softcover : alk. paper);

035 a| (Sirsi) o35559122;

035 a| (OCoLC)35559122;

049 a| EREE;

050 00 a| QA76.9.D3b| L642 1996;

082 00 a| 005.74/01/51132| 20;

245 00 a| Logic in databases :b| International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings /c| Dino Pedreschi, Carlo Zaniolo, (eds.).;

300 a| x, 495 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1154;

500 a| "International Workshop on Logic in Databases"--Foreword.;

504 a| Includes bibliographical references and index.;

505 0 a| Logic and databases : a 20 year retrospective / J. Minker -- A parametric approach to deductive databases with uncertainty / L.V.S. Lakshmanan, N. Shiri -- A deductive database approach to planning in uncertain environments / V.S. Subrahmanian, C. Ward -- Termination properties of spatial datalog programs / B. Kuijpers ... [et al.] -- Applying transition rules to bitemporal deductive databases for integrity constraint checking / C. Martin, J. Sistac -- Towards a unified agent architecture that combines rationality with reactivity / R. Kowalski, F. Sadri -- Learning query rules for optimizing databases with update rules / D. Laurent, C. Vrain -- Formal characterization of active databases / C. Baral, J. Lobo -- Nested transactions in a logical language for active rules / B. Ludäscher, W. May, G. Lausen -- Deductive databases : challenges, opportunities and future directions / A. Siebes ... [et al.] -- R-stable models for logic programs / H. Jakobovits, D. Vermeir -- The expressive power of partial models in disjunctive deductive databases / T. Eiter, N. Leone, D. Saccà -- Stable model checking for disjunctive logic programs / N. Leone, P. Rullo, F. Scarcello --Analysis of logic-based systems / D. Boulanger -- An axiomatic interpretation of confidentiality demands in logic-based relational databases / A. Spalka, A.B. Cremers -- Database query evaluation with the STARBASE method / E. Pulido -- The limits of fixed-order compuation / K. Sagonas, T. Swift, D.S. Warren -- The IQ system : a deductive database information lens for reasoning about textual information / B. Kero, S. Tsur -- Arithmetic and aggregate operators in deductive object-oriented databases / G. Dobbie, R. Topor -- Sequence datalog : declarative string manipulation in databases / A. Bonner, G. Mecca -- Language extensions for semantic integration of deductive databases / P. Asirelli, C. Renso, F. Turini -- Unification of bounded simple set terms in deductive databases / S. Greco, C. Mateis, E. Spadafora -- Expressiveness of semipositive logic programs with value invention / L. Cabibbo -- A more expressive deterministic query language with efficient symmetry-based choice construct / F. Gire, H.K. Hoang.;

650 0 a| Database managementv| Congresses.=| ^A412811;

650 0 a| Deductive databasesv| Congresses.=| ^A680694;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

700 1 a| Pedreschi, Dino.=| ^A388592;

700 1 a| Zaniolo, Carlo.=| ^A388593;

711 2 a| International Workshop on Logic in Databasesd| (1996 :c| San Miniato, Italy)=| ^A388594;

830 0 a| Lecture notes in computer sciencev| 1154.=| ^A466336;

596 a| 1;

998 a| 614528;

999 a| QA76.9.D3 L642 1996w| LCc| 1i| 30372009961027d| 3/7/2013f| 3/7/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 6/4/1997x| BOOKz| JSTACKSo| .STAFF. 0;

Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo, (eds.).

Other author	Pedreschi, Dino.
Other author	Zaniolo, Carlo.
Other author	International Workshop on Logic in Databases (1996 : San Miniato, Italy)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1996.
Description	x, 495 pages : illustrations ; 24 cm.
Subjects	Database management--Congresses. Deductive databases--Congresses. Logic programming--Congresses.

Series	Lecture notes in computer science ; 1154 Lecture notes in computer science 1154. ^A466336
Contents	Logic and databases : a 20 year retrospective / J. Minker -- A parametric approach to deductive databases with uncertainty / L.V.S. Lakshmanan, N. Shiri -- A deductive database approach to planning in uncertain environments / V.S. Subrahmanian, C. Ward -- Termination properties of spatial datalog programs / B. Kuijpers ... [et al.] -- Applying transition rules to bitemporal deductive databases for integrity constraint checking / C. Martin, J. Sistac -- Towards a unified agent architecture that combines rationality with reactivity / R. Kowalski, F. Sadri -- Learning query rules for optimizing databases with update rules / D. Laurent, C. Vrain -- Formal characterization of active databases / C. Baral, J. Lobo -- Nested transactions in a logical language for active rules / B. Ludäscher, W. May, G. Lausen -- Deductive databases : challenges, opportunities and future directions / A. Siebes ... [et al.] -- R-stable models for logic programs / H. Jakobovits, D. Vermeir -- The expressive power of partial models in disjunctive deductive databases / T. Eiter, N. Leone, D. Saccà -- Stable model checking for disjunctive logic programs / N. Leone, P. Rullo, F. Scarcello --Analysis of logic-based systems / D. Boulanger -- An axiomatic interpretation of confidentiality demands in logic-based relational databases / A. Spalka, A.B. Cremers -- Database query evaluation with the STARBASE method / E. Pulido -- The limits of fixed-order compuation / K. Sagonas, T. Swift, D.S. Warren -- The IQ system : a deductive database information lens for reasoning about textual information / B. Kero, S. Tsur -- Arithmetic and aggregate operators in deductive object-oriented databases / G. Dobbie, R. Topor -- Sequence datalog : declarative string manipulation in databases / A. Bonner, G. Mecca -- Language extensions for semantic integration of deductive databases / P. Asirelli, C. Renso, F. Turini -- Unification of bounded simple set terms in deductive databases / S. Greco, C. Mateis, E. Spadafora -- Expressiveness of semipositive logic programs with value invention / L. Cabibbo -- A more expressive deterministic query language with efficient symmetry-based choice construct / F. Gire, H.K. Hoang.
General note	"International Workshop on Logic in Databases"--Foreword.
Bibliography note	Includes bibliographical references and index.
LCCN	96041820
ISBN	3540618147 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.D3 L642 1996	✔ Available	Place Hold

Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo, (eds.).

Click here for more information about this title

Availability