TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server

Xavier Oriol, Ernest Teniente, Guillem Rull. TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. In Evaggelia Pitoura, Sofian Maabout, Georgia Koutrika, Amélie Marian, Letizia Tanca, Ioana Manolescu, Kostas Stefanidis, editors, Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016. pages 632-635, OpenProceedings.org, 2016. [doi]

@inproceedings{OriolTR16,
  title = {TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server},
  author = {Xavier Oriol and Ernest Teniente and Guillem Rull},
  year = {2016},
  doi = {10.5441/002/edbt.2016.66},
  url = {http://dx.doi.org/10.5441/002/edbt.2016.66},
  researchr = {https://researchr.org/publication/OriolTR16},
  cites = {0},
  citedby = {0},
  pages = {632-635},
  booktitle = {Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016},
  editor = {Evaggelia Pitoura and Sofian Maabout and Georgia Koutrika and Amélie Marian and Letizia Tanca and Ioana Manolescu and Kostas Stefanidis},
  publisher = {OpenProceedings.org},
  isbn = {978-3-89318-070-7},
}