Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007443996/catalog> ?p ?o. }

• catalog contributor b10276699.
• catalog contributor b10276700.
• catalog contributor b10276701.
• catalog created "c1996.".
• catalog date "1996".
• catalog date "c1996.".
• catalog dateCopyrighted "c1996.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Logic and databases : a 20 year retrospective / J. Minker -- A parametric approach to deductive databases with uncertainity / 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 [and others] -- 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 [and others] -- R-stable models for logic programs / H. Jakobovits, D. Vermeir -- ".
• catalog description "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 -- ".
• catalog description "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.".
• catalog extent "x, 495 p. :".
• catalog identifier "3540618147 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 1154".
• catalog issued "1996".
• catalog issued "c1996.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.74/01/5113 20".
• catalog subject "Database management Congresses.".
• catalog subject "Deductive databases Congresses.".
• catalog subject "Logic programming Congresses.".
• catalog subject "QA76.9.D3 L642 1996".
• catalog tableOfContents "Logic and databases : a 20 year retrospective / J. Minker -- A parametric approach to deductive databases with uncertainity / 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 [and others] -- 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 [and others] -- R-stable models for logic programs / H. Jakobovits, D. Vermeir -- ".
• catalog tableOfContents "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 -- ".
• catalog tableOfContents "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.".
• catalog title "Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings / Dino Pedreschi, Carlo Zaniolo, (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "San Miniato (1996) swd".
• catalog type "text".