| dc.contributor.author | Γεργατσούλης, Μανώλης | el_GR |
| dc.contributor.author | Ροντογιάννης, Παναγιώτης | el_GR |
| dc.contributor.author | Gergatsoulis, Manolis | en |
| dc.contributor.author | Rondogiannis, Panos | en |
| dc.date.available | 2014-01-16T07:38:38Z | |
| dc.date.issued | 2001 | |
| dc.identifier.issn | 9259902 | |
| dc.identifier.uri | http://hdl.handle.net/10797/13677 | en |
| dc.description | Περιέχει το πλήρες κείμενο | el_GR |
| dc.description.abstract | The branching-time transformation technique has proven to be an efficient approach for implementing functional programming languages. In this paper we demonstrate that such a technique can also be defined for logic programming languages. More specifically, we first introduce Branching Datalog, a language that can be considered as the basis for branching-temporal deductive databases. We then present a transformation algorithm from Chain Datalog programs to the class of unary Branching Datalog programs with at most one IDB atom in the body of each clause. In this way, we obtain a novel implementation approach for Chain Datalog, shedding at the same time new light on the power of branching-time logic programming. | en |
| dc.language.iso | eng | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.source | Journal of Intelligent Information Systems
Volume 17, Issue 1, November 2001, Pages 71-94 | en |
| dc.source | Scopus | en |
| dc.source.uri | http://www.scopus.com/record/display.url?eid=2-s2.0-0035506941&origin=resultslist&sort=plf-f&src=s&st1=gergatsoulis&nlo=1&nlr=20&nls=count-f&sid=3721C8512648DE367D76686B2D82F7FD.zQKnzAySRvJOZYcdfIziQ%3a63&sot=anl&sdt=aut&sl=41&s=AU-ID%28%22Gergatsoulis%2c+Manolis%22+6602969138%29&relpos=30&relpos=10&citeCnt=3&searchTerm=AU-ID%28%5C%26quot%3BGergatsoulis%2C+Manolis%5C%26quot%3B+6602969138%29 | en |
| dc.title | The branching-time transformation technique for Chain Datalog programs | en |
| dc.type | Article | en |
| dc.subject.uncontrolledterm | Temporal logic programming | en |
| dc.subject.uncontrolledterm | Branching time | en |
| dc.subject.uncontrolledterm | Chain programs | en |
| dc.subject.uncontrolledterm | Deductive Databases | en |
| dc.subject.uncontrolledterm | Program transformation | en |
| dc.subject.JITA | Τεχνολογίες πληροφόρησης και τεχνολογίες βιβλιοθηκών, Συστήματα διαχείρισης βάσεων δεδομένων | el_GR |
| dc.subject.JITA | Information technology and library technology, Data base management systems | en |
| dc.identifier.JITA | LN | en |