20 research outputs found

    [SK] Sadri, Kowalski: A theorem-proving approach to database integrity, in Minker

    No full text
    [De] Decker: A model-theoretic semantics of integrity constraints in deductive databases
    corecore