UQJG: Identifying transactions that collaborate to violate an SQL assertion
| Autor: | Toon Koppelaars, Sergi Curto, Eduard Pujol, Ernest Teniente, Xavier Oriol |
|---|---|
| Přispěvatelé: | 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 |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
Statement (computer science)
SQL SQL assertions Programming language Computer science Serialization Assertion Informàtica::Sistemes d'informació::Bases de dades [Àrees temàtiques de la UPC] computer.software_genre Transactions serialization Database management State (computer science) Isolation (database systems) Integrity checking Bases de dades -- Gestió computer Database transaction computer.programming_language |
| Zdroj: | UPCommons. Portal del coneixement obert de la UPC Universitat Politècnica de Catalunya (UPC) CIKM |
| DOI: | 10.1145/3459637.3482210 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|