Bottom-up evaluation of Datalog programs with arithmetic constraints

Laurent Fribourg; Marcos Veloso Peixoto

doi:10.1007/3-540-58156-1_22

ScienceGate Book Chapters

BOOK-CHAPTER

Bottom-up evaluation of Datalog programs with arithmetic constraints

Laurent Fribourg Marcos Veloso Peixoto

Year: 1994 Lecture notes in computer science Pages: 311-325 Publisher: Springer Science+Business Media

DOI: 10.1007/3-540-58156-1_22

Get Full-Text PDF Get Analytical Report

Keywords:

Datalog Prolog Computer science Deductive database Class (philosophy) Programming language Logic program Arithmetic Logic programming Process (computing) Theoretical computer science Algebra over a field Mathematics Artificial intelligence

Metrics

Cited By

1.83

FWCI (Field Weighted Citation Impact)

Refs

0.84

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Bottom-up evaluation of Datalog programs with arithmetic constraints

Metrics

Topics

Related Documents

Datalog and bottom-up evaluation

Datalog and bottom-up evaluation

Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method

Bottom-up evaluation of datalog with negation

Bottom-Up Evaluation of Datalog: Preliminary Report