Browsing Βιβλιοθηκονομία και Επιστήμη της Πληροφόρησης / Library and Information Science by Subject "Τεχνολογίες πληροφόρησης και τεχνολογίες βιβλιοθηκών, Συστήματα διαχείρισης βάσεων δεδομένων"
Now showing items 1-6 of 6
-
The branching-time transformation technique for Chain Datalog programs
(2001)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 ... -
Curated Databases
(2009)Most of our research and scholarship now depends on curated databases. A curated database is any kind of structured repository such as a traditional database, an ontology or an XML file, that is created and updated with a ... -
Linearisability on datalog programs
(2003)Linear Datalog programs are programs whose clauses have at most one intensional atom in their bodies. We explore syntactic classes of Datalog programs (syntactically non-linear) which turn out to express no more than the ... -
Path-based MXML Storage and Querying
(2012) -
A transformation technique for datalog programs based on non-deterministic constructs
(2001)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 ... -
Δημιουργία βάσης δεδομένων για κτίρια σε δομή Unimarc
(ΤΕΙ Σερρών, 2003)Η Μονάδα Τεκμηρίωσης και Πληροφόρησης του ΤΕΕ, στo πλαίσιo δημιουργίας ψηφιακών Βάσεων Δεδομένων, αποφάσισε να αξιοποιήσει τα δεδομένα που είχε σχετικά με διάφορα ιστορικά και άλλα ενδιαφέροντα κτίρια. Σε πρώτη φάση, ...