Equality and Domain Closure in First-Order Databases (Q3883571)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equality and Domain Closure in First-Order Databases
scientific article

    Statements

    Equality and Domain Closure in First-Order Databases (English)
    0 references
    0 references
    1980
    0 references
    equality
    0 references
    closed databases
    0 references
    deductive question-answering
    0 references
    first-order logic
    0 references
    relational databases
    0 references
    projection operator
    0 references
    division operator
    0 references
    definite answers
    0 references
    indefinite answers
    0 references

    Identifiers