DBScholar

Back to papers

Constraints among Argument Sizes in Logic Programs (Extended Abstract)

Summary: Formalizes interargument size constraints as a fixpoint of a recursive transformation over convex-hulls of argument-size point sets, exposing potential non-finite convergence of the operator. Proposes affine-hull approximation to ensure finite convergence and derives exact constraints for a class of linear recursive programs satisfying a translativeness property via structural analysis of the recursive transformation. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1016
Venue
PODS
Year
1994
Pagerank
5.093636e-05
Overall Rank
13,018 | 10.69%
DOI
10.1145/182591.182599

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

BibTeX Citation

@inproceedings{sohn_pods94,
        address = {New York, NY, USA},
        series = {{PODS} '94},
        title = {{Constraints among Argument Sizes in Logic Programs (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/182591.182599},
        doi = {10.1145/182591.182599},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Sohn, Kirack},
        year = {1994}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank Citing Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
2,579 Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989 PODS 8.3906191e-05
3,360 Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) 1990 PODS 7.4890377e-05
3,824 Inference of Inequality Constraints in Logic Programs (Extended Abstract) 1991 PODS 7.0919497e-05
7,824 Termination Detection in Logic Programs using Argument Sizes* (Extended Abstract) 1991 PODS 5.5368828e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 2,579 Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989 PODS
2 4,263 Explicit Control of Logic Programs Through Rule Algebra 1988 PODS
3 2,111 Querying Constraints 1990 PODS
4 7,549 Hard problems for simple logic programs 1990 SIGMOD
5 7,886 Polynomial-time program transformations in deductive databases 1990 PODS
6 5,288 Linearizing nonlinear recursions in polynomial time (Extended Abstract) 1989 PODS
7 2,474 Logic Programming as Constructivism: A Formalization and its Application to Databases 1989 PODS
8 3,824 Inference of Inequality Constraints in Logic Programs (Extended Abstract) 1991 PODS
9 7,824 Termination Detection in Logic Programs using Argument Sizes* (Extended Abstract) 1991 PODS
10 3,360 Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract) 1990 PODS