Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Monotonic aggregation in deductive databases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Shortest path by approximation in logic programs
ACM Letters on Programming Languages and Systems (LOPLAS)
Extrema predicates in deductive databases
Journal of Computer and System Sciences
Advanced database systems
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Greedy algorithms in Datalog with choice and negation
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Semantics and expressive power of nondeterministic constructs in deductive databases
Journal of Computer and System Sciences
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
The aditi deductive database system
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Dynamic Programming in Datalog with Aggregates
IEEE Transactions on Knowledge and Data Engineering
DATALOG Queries with Stratified Negation and Choice: from P to DP
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Aggregation and Relevance in Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Dynamic Programming Algorithms as Products of Weighted Logic Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Declarative distributed computing
Correct Reasoning
Extending the power of datalog recursion
The VLDB Journal — The International Journal on Very Large Data Bases
Graph queries in a next-generation Datalog system
Proceedings of the VLDB Endowment
Hi-index | 0.00 |
In the design of algorithms, the greedy paradigm provides a powerful tool for solving efficiently classical computational problems, within the framework of procedural languages. However, expressing these algorithms within the declarative framework of logic-based languages has proven a difficult research challenge. In this paper, we extend the framework of Datalog-like languages to obtain simple declarative formulations for such problems, and propose effective implementation techniques to ensure computational complexities comparable to those of procedural formulations. These advances are achieved through the use of the choice construct, extended with preference annotations to effect the selection of alternative stable-models and nondeterministic fixpoints. We show that, with suitable storage structures, the differential fixpoint computation of our programs matches the complexity of procedural algorithms in classical search and optimization problems.