Incremental checking of SQL assertions in an RDBMS

Authors: Oriol, Xavier ^⁎, Teniente, Ernest

Source: In Information Systems August-September 2025 133

UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion

Authors: Koppelaars, Toon, Oriol Hilari, Xavier, Teniente López, Ernest, Curto Pasinello, Sergi, Pujol, Eduard

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: SQL assertions, Database management, Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació::Bases de dades, Informàtica::Sistemes d'informació::Bases de dades [Àrees temàtiques de la UPC], Integrity checking, Bases de dades -- Gestió, Transactions serialization

File Description: application/pdf

Access URL: https://upcommons.upc.edu/bitstream/2117/358208/1/UQJG_Paper___CIKM_2021___Copia_per_l_UPC-1.pdf
https://dl.acm.org/doi/pdf/10.1145/3459637.3482210
https://dblp.uni-trier.de/db/conf/cikm/cikm2021.html#KoppelaarsOTCP21
https://hdl.handle.net/2117/358208
https://doi.org/10.1145/3459637.3482210

UQJG: Identifying transactions that collaborate to violate an SQL assertion

Authors: Facultat d'Informàtica de Barcelona, Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing, Koppelaars, Toon, Oriol Hilari, Xavier, Teniente López, Ernest, Curto Pasinello, Sergi, Pujol, Eduard

Index Terms: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació::Bases de dades, Database management, SQL assertions, Integrity checking, Transactions serialization, Bases de dades -- Gestió, Conference report

URL: http://hdl.handle.net/2117/358208
https://dl.acm.org/doi/10.1145/3459637.3482210
https://dl.acm.org/doi/10.1145/3459637.3482210