Transaction logic (original) (raw)
Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and databases. This extension adds connectives specifically designed for combining simple actions into complex transactions and for providing control over their execution. The logic has a natural model theory and a sound and complete proof theory. Transaction Logic has a Horn clause subset, which has a procedural as well as a declarative semantics. The important features of the logic include hypothetical and committed updates, dynamic constraints on transaction execution, non-determinism, and bulk updates. In this way, Transaction Logic is able to declaratively capture a number of non-logical phenomena, including procedural knowledge in art
| Property | Value |
|---|---|
| dbo:abstract | Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and databases. This extension adds connectives specifically designed for combining simple actions into complex transactions and for providing control over their execution. The logic has a natural model theory and a sound and complete proof theory. Transaction Logic has a Horn clause subset, which has a procedural as well as a declarative semantics. The important features of the logic include hypothetical and committed updates, dynamic constraints on transaction execution, non-determinism, and bulk updates. In this way, Transaction Logic is able to declaratively capture a number of non-logical phenomena, including procedural knowledge in artificial intelligence, active databases, and methods with side effects in object databases. Transaction Logic was originally proposed in by Anthony Bonner and Michael Kifer and later described in more detail in and. The most comprehensive description appears in. In later years, Transaction Logic was extended in various ways, including concurrency, defeasible reasoning, partially defined actions, and other features. In 2013, the original paper on Transaction Logic has won the 20-year Test of Time Award of the Association for Logic Programming as the most influential paper from the proceedings of ICLP 1993 conference in the preceding 20 years. (en) A lógica de transações é uma extensão da Lógica de Predicados que responde de uma forma limpa e declarativa para o fenômeno de mudanças de estado em programas lógicos e bancos de dados. Esta extensão adiciona conectivos projetados especificamente para combinar ações simples em transações complexas e para fornecer controle sobre a sua execução. A lógica tem uma natural Teoria dos modelos e uma sólida e completa Teoria da Prova. A Lógica de Transações tem um subconjunto de cláusulas de Horn, que tem um procedimento, bem como uma semântica declarativa. As características importantes da lógica incluem atualizações hipotéticas e empenhadas, restrições dinâmicas na execução da transação, não-determinismo e atualizações em massa. Desta forma, Lógica de Transações é capaz de capturar declarativamente um número de fenômenos não-lógicos, incluindo conhecimentos procedurais (ou também, conhecimentos imperativos) em inteligência artificial, bancos de dados ativos e métodos com efeitos colaterais em bancos de dados de objetos. A Lógica de Transações foi originalmente proposta em por Anthony Bonner e Michael Kifer e posteriormente descrita em mais detalhes em e . A mais compreensível descrição aparece em . Anos depois, Lógica de Transações foi ampliada em várias aspectos, incluindo concorrência , raciocínio revogável , ações parcialmente definidas e outras características . Em 2013, o trabalho original em Lógica de Transações venceu o 20-years Test of Time Award como o mais influente trabalho do processo da ICLP 1993 conference nos últimos 20 anos. (pt) |
| dbo:wikiPageExternalLink | http://www.cs.stonybrook.edu/~kifer/ https://www.cs.nmsu.edu/ALP/the-association-for-logic-programming/alp-awards/ https://www.cs.stonybrook.edu/about-us/News/ALP-Presents-Prof-Kifer-20-year-Test-Time-Award http://www.cs.toronto.edu/~bonner/ http://www.informatik.uni-trier.de/~ley/db/conf/iclp/iclp93.html http://flora.sourceforge.net |
| dbo:wikiPageID | 12817496 (xsd:integer) |
| dbo:wikiPageLength | 6952 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1022892702 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Predicate_logic dbr:Model_theory dbr:Defeasible_reasoning dbc:Declarative_programming_languages dbc:Logic_programming_languages dbr:Open_source dbr:Concurrency_(computer_science) dbr:Horn_clause dbr:Active_database dbr:Database dbr:Flora-2 dbr:Procedural_knowledge dbr:Proof_theory dbr:Artificial_intelligence dbc:Knowledge_representation dbr:Association_for_Logic_Programming dbr:Object_database dbr:Logic_program dbr:Tabling |
| dbp:wikiPageUsesTemplate | dbt:! dbt:Mono dbt:Reflist |
| dct:subject | dbc:Declarative_programming_languages dbc:Logic_programming_languages dbc:Knowledge_representation |
| gold:hypernym | dbr:Extension |
| rdf:type | dbo:Software |
| rdfs:comment | Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and databases. This extension adds connectives specifically designed for combining simple actions into complex transactions and for providing control over their execution. The logic has a natural model theory and a sound and complete proof theory. Transaction Logic has a Horn clause subset, which has a procedural as well as a declarative semantics. The important features of the logic include hypothetical and committed updates, dynamic constraints on transaction execution, non-determinism, and bulk updates. In this way, Transaction Logic is able to declaratively capture a number of non-logical phenomena, including procedural knowledge in art (en) A lógica de transações é uma extensão da Lógica de Predicados que responde de uma forma limpa e declarativa para o fenômeno de mudanças de estado em programas lógicos e bancos de dados. Esta extensão adiciona conectivos projetados especificamente para combinar ações simples em transações complexas e para fornecer controle sobre a sua execução. A lógica tem uma natural Teoria dos modelos e uma sólida e completa Teoria da Prova. A Lógica de Transações tem um subconjunto de cláusulas de Horn, que tem um procedimento, bem como uma semântica declarativa. As características importantes da lógica incluem atualizações hipotéticas e empenhadas, restrições dinâmicas na execução da transação, não-determinismo e atualizações em massa. Desta forma, Lógica de Transações é capaz de capturar declarativame (pt) |
| rdfs:label | Lógica de transações (pt) Transaction logic (en) |
| owl:sameAs | freebase:Transaction logic wikidata:Transaction logic dbpedia-pt:Transaction logic https://global.dbpedia.org/id/4wJgV |
| prov:wasDerivedFrom | wikipedia-en:Transaction_logic?oldid=1022892702&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Transaction_logic |
| is dbo:wikiPageWikiLink of | dbr:Prolog dbr:Index_of_philosophy_articles_(R–Z) dbr:Logic_programming dbr:Flora-2 dbr:F-logic |
| is foaf:primaryTopic of | wikipedia-en:Transaction_logic |