Foundations of Deductive Databases and Logic Programming

ISBN 10: 1483207692 / ISBN 13: 9781483207698

Published by Morgan Kaufmann, 1988

About this Item

New. Seller Inventory # D8S0-3-M-1483207692-6

Bibliographic Details

Title: Foundations of Deductive Databases and Logic...

Publisher: Morgan Kaufmann

Publication Date: 1988

Binding: paperback

Condition: New

Book Type: book

About this title

Synopsis:

Foundations of Deductive Databases and Logic Programming focuses on the foundational issues concerning deductive databases and logic programming. The selection first elaborates on negation in logic programming and towards a theory of declarative knowledge. Discussions focus on model theory of stratified programs, fixed point theory of nonmonotonic operators, stratified programs, semantics for negation in terms of special classes of models, relation between closed world assumption and the completed database, negation...

More