Verifiable properties of database transactions (Q1281498): Difference between revisions

@@ Property / author @@
-Timothy G. Griffin
@@ Property / author: Timothy G. Griffin / rank @@
-Normal rank
@@ Property / author @@
-Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
-Normal rank
@@ Property / author @@
+Timothy G. Griffin
@@ Property / author: Timothy G. Griffin / rank @@
+Normal rank
@@ Property / author @@
+Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.1998.2731
+Normal rank
@@ Property / OpenAlex ID @@
+W2029670992
@@ Property / OpenAlex ID: W2029670992 / rank @@
+Normal rank
@@ Property / cites work @@
+A transaction-based approach to relational database specification
+Normal rank
@@ Property / cites work @@
+Procedural languages for database queries and updates
+Normal rank
@@ Property / cites work @@
+Datalog extensions for database queries and updates
+Normal rank
@@ Property / cites work @@
+Reachability is harder for directed than for undirected finite graphs
+Normal rank
@@ Property / cites work @@
+Proving total correctness of nondeterministic programs in infinitary logic
+Normal rank
@@ Property / cites work @@
+Relational expressive power of constraint query languages
+Normal rank
@@ Property / cites work @@
+Formalizing Dijkstra's predicate transformer wp in weak second-order logic
+Normal rank
@@ Property / cites work @@
+Q4036554
@@ Property / cites work: Q4036554 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Counting quantifiers, successor relations, and logarithmic space
+Normal rank
@@ Property / cites work @@
+Finite-model theory -- A personal perspective
@@ Property / cites work: Finite-model theory -- A personal perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353557
@@ Property / cites work: Q4353557 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing the Power of Games on Graphs
@@ Property / cites work: Comparing the Power of Games on Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic NP vs monadic co-NP
@@ Property / cites work: On monadic NP vs monadic co-NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of counting
@@ Property / cites work: On the expressive power of counting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758820
@@ Property / cites work: Q3758820 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages that Capture Complexity Classes
@@ Property / cites work: Languages that Capture Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+The expressiveness of a family of finite set languages
+Normal rank
@@ Property / cites work @@
+Query languages for bags and aggregate functions
@@ Property / cites work: Query languages for bags and aggregate functions / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining state constraints in relational databases: a proof theoretic basis
+Normal rank
@@ Property / cites work @@
+Logic for improving integrity checking in relational data bases
+Normal rank
@@ Property / cites work @@
+On winning strategies with unary quantifiers
@@ Property / cites work: On winning strategies with unary quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+An axiom system for database transactions
@@ Property / cites work: An axiom system for database transactions / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of the bounded-iteration construct
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+On winning Ehrenfeucht games and monadic NP
@@ Property / cites work: On winning Ehrenfeucht games and monadic NP / rank @@
+Normal rank