Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases, and has been applied to problems in data integration, networking, program analysis, security and cloud computing. Datalog programs are sets of logical rules over relations, evaluated to a fixed point, and unlike general Prolog, Datalog queries on finite databases are guaranteed to terminate.
Facts
First Released ParadigmDeclarative, logic programming 2 SignificanceApplied to data integration, information extraction, networking, security, cloud computing and machine learning. 2 Partially Attested
First ReleasedDatalog has no single release date; it became prominent as a separate area around 1977. Classification
Typing Discipline Connections
Sources
1. Wikidata: Datalog
- Wikidata Q1172264, class allow-list match (w-wdresolver-0926)
- Wikidata Q1172264 P571 (inception)
- Wikidata Q1172264 P7078 (typing discipline)
View the Source2. Datalog - Wikipedia
History
The origins of Datalog date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases.
Lead section and infobox
Datalog is a declarative logic programming language.
Uses and Influence
Datalog has been applied to problems in data integration, information extraction, networking, security, cloud computing and machine learning.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.