Non-determinism in logic-based languages (Q1360676): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of deterministic and nondeterministic extensions of Datalog
+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 @@
+Q3204028
@@ Property / cites work: Q3204028 / rank @@
+Normal rank
@@ Property / cites work @@
+A transaction-based approach to relational database specification
+Normal rank
@@ Property / cites work @@
+Computable queries for relational data bases
@@ Property / cites work: Computable queries for relational data bases / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+The Implication Problem for Functional and Inclusion Dependencies is Undecidable
+Normal rank
@@ Property / cites work @@
+Q3775538
@@ Property / cites work: Q3775538 / rank @@
+Normal rank
@@ Property / cites work @@
+Incomplete Information in Relational Databases
@@ Property / cites work: Incomplete Information in Relational Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / 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 expressive power of stratified logic programs
@@ Property / cites work: The expressive power of stratified logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582304
@@ Property / cites work: Q5582304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798300
@@ Property / cites work: Q3798300 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01530924
+Normal rank
@@ Property / OpenAlex ID @@
+W2063922067
@@ Property / OpenAlex ID: W2063922067 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1360676