Monotonic aggregation in deductive databases (Q676422): Difference between revisions

@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / 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/jcss.1997.1453
+Normal rank
@@ Property / OpenAlex ID @@
+W2063061546
@@ Property / OpenAlex ID: W2063061546 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692876
@@ Property / cites work: Q4692876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050122
@@ Property / cites work: Q4050122 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of monotonicity constraints in Datalog programs
+Normal rank
@@ Property / cites work @@
+Horn clause queries and generalizations
@@ Property / cites work: Horn clause queries and generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+Extrema predicates in deductive databases
@@ Property / cites work: Extrema predicates in deductive databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular stratification and magic sets for Datalog programs with negation
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The alternating fixpoint of logic programs with negation
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank