63 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

    Resolutions of the Y.C.I. Plenum, January Plenum, 1934.

    No full text
    Cover title.; Electronic reproduction. Canberra, A.C.T. : National Library of Australia, 2010
    • …
    corecore