A Transaction Logic for Database Specification

Authors

• 1. Xiaolei Qian (Kestrel Institute; Stanford University)
• 2. Richard Waldinger (SRI International; Stanford University)

@inproceedings{qian_sigmod88,
        title = {{A Transaction Logic for Database Specification}},
        author = {Qian, Xiaolei and Waldinger, Richard},
        series = {{SIGMOD} '88},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/50202.50232},
        url = {https://dl.acm.org/doi/10.1145/50202.50232},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

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

Semantically Similar Papers