| dc.contributor.author | Γεργατσούλης, Μανώλης | el_GR |
| dc.contributor.author | Ροντογιάννης, Παναγιώτης | el_GR |
| dc.contributor.author | Ποτίκας, Πέτρος | el_GR |
| dc.contributor.author | Gergatsoulis, Manolis | en |
| dc.contributor.author | Rondogiannis, Panos | en |
| dc.contributor.author | Potikas, Petros | en |
| dc.date.available | 2014-01-16T07:40:47Z | |
| dc.date.issued | 2001 | |
| dc.identifier.issn | 3029743 | |
| dc.identifier.uri | http://hdl.handle.net/10797/13678 | en |
| dc.description | Περιέχει το πλήρες κείμενο | el_GR |
| dc.description.abstract | Recently, a novel transformation technique for Datalog programs, called the branching-time transformation, was introduced by the authors. In this paper we propose a significant extension of the branching-time transformation which we believe opens up a promising new direction of research in the area of value-propagating Datalog optimizations. One of the novel characteristics of the proposed approach is that the target language is DatalognS extended with choice predicates, a form of non-deterministic construct that was originally introduced in the area of intensional logic programming. | en |
| dc.language.iso | eng | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume 2372 LNCS, 2002, Pages 25-45 | en |
| dc.source | scopus | en |
| dc.source.uri | http://www.scopus.com/record/display.url?eid=2-s2.0-84879465023&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=29&relpos=9&citeCnt=1&searchTerm=AU-ID%28%5C%26quot%3BGergatsoulis%2C+Manolis%5C%26quot%3B+6602969138%29 | en |
| dc.title | A transformation technique for datalog programs based on non-deterministic constructs | en |
| dc.type | Article | en |
| dc.subject.uncontrolledterm | Deductive Databases | en |
| dc.subject.uncontrolledterm | Logic Program Transformations | en |
| dc.subject.JITA | Τεχνολογίες πληροφόρησης και τεχνολογίες βιβλιοθηκών, Συστήματα διαχείρισης βάσεων δεδομένων | el_GR |
| dc.subject.JITA | Information technology and library technology, Data base management systems | en |
| dc.identifier.JITA | LN | en |