Decidability and Undecidability Results for the Termination Problem of Active Database Rules

Authors

• 1. James Bailey (King's College London)
• 2. Guozhu Dong (University of Melbourne)
• 3. Kotagiri Ramamohanarao (University of Melbourne)

@inproceedings{bailey_pods98,
        address = {New York, NY, USA},
        series = {{PODS} '98},
        title = {{Decidability and Undecidability Results for the Termination Problem of Active Database Rules}},
        url = {https://dl.acm.org/doi/10.1145/275487.275517},
        doi = {10.1145/275487.275517},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Bailey, James and Dong, Guozhu and Ramamohanarao, Kotagiri},
        year = {1998}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Semantically Similar Papers