UQJG: Identifying transactions that collaborate to violate an SQL assertion
Visualitza/Obre
Cita com:
hdl:2117/358208
Tipus de documentText en actes de congrés
Data publicació2021
EditorAssociation for Computing Machinery (ACM)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
An SQL assertion is a declarative statement about data that must always be satisfied in any database state. Assertions were introduced in the SQL92 standard but no commercial DBMS has implemented them so far. Some approaches have been proposed to incrementally determine whether a transaction violates an SQL assertion, but they assume that transactions are applied in isolation, hence not considering the problem of concurrent transaction executions that collaborate to violate an assertion. This is the main stopper for its commercial implementation.
To handle this problem, we have developed a technique for efficiently serializing concurrent transactions that might interact to violate an SQL assertion.
CitacióKoppelaars, T. [et al.]. UQJG: Identifying transactions that collaborate to violate an SQL assertion. A: ACM International Conference on Information and Knowledge Management. "CIKM '21: Proceedings of the 30th ACM International Conference on Information & Knowledge Management: November 1-5, 2021, virtual event, Australia". New York: Association for Computing Machinery (ACM), 2021, p. 3152-3156. ISBN 978-1-4503-8446-9. DOI 10.1145/3459637.3482210.
ISBN978-1-4503-8446-9
Versió de l'editorhttps://dl.acm.org/doi/10.1145/3459637.3482210
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
UQJG_Paper___CIKM_2021___Copia_per_l_UPC-1.pdf | 558,1Kb | Visualitza/Obre |