Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem

P.W.P.J. Grefen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publication19th International Conference on Very Large Data Bases
    Place of PublicationDublin, Ierland
    Pages581-591
    Publication statusPublished - 9 Feb 1993

    Keywords

    • METIS-119777

    Cite this

    Grefen, P. W. P. J. (1993). Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. In 19th International Conference on Very Large Data Bases (pp. 581-591). Dublin, Ierland.
    Grefen, P.W.P.J. / Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. 19th International Conference on Very Large Data Bases. Dublin, Ierland, 1993. pp. 581-591
    @inproceedings{05eb3481195041f28d6949c58e455014,
    title = "Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem",
    keywords = "METIS-119777",
    author = "P.W.P.J. Grefen",
    year = "1993",
    month = "2",
    day = "9",
    language = "Undefined",
    isbn = "1-55860-152-x",
    pages = "581--591",
    booktitle = "19th International Conference on Very Large Data Bases",

    }

    Grefen, PWPJ 1993, Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. in 19th International Conference on Very Large Data Bases. Dublin, Ierland, pp. 581-591.

    Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. / Grefen, P.W.P.J.

    19th International Conference on Very Large Data Bases. Dublin, Ierland, 1993. p. 581-591.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem

    AU - Grefen, P.W.P.J.

    PY - 1993/2/9

    Y1 - 1993/2/9

    KW - METIS-119777

    M3 - Conference contribution

    SN - 1-55860-152-x

    SP - 581

    EP - 591

    BT - 19th International Conference on Very Large Data Bases

    CY - Dublin, Ierland

    ER -

    Grefen PWPJ. Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. In 19th International Conference on Very Large Data Bases. Dublin, Ierland. 1993. p. 581-591