Το SIS (Semantic Index System) μπορεί να χαρακτηριστεί ως ένα οντοκεντρικό σύστημα διαχείρισης βάσεων δεδομένων που στηρίζεται στη γλώσσα παράστασης γνώσεων TELOS. Η γλώσσα TELOS χρησιμοποιείται για τον ορισμό του σχήματος (DDL) της βάσης και στηρίζεται σε τρεις μηχανισμούς αφαίρεσης: της ταξινόμησης (classification), της απόδοσης γνωρίσματος (attribution) και της γενίκευσης-εξειδίκευσης (specialization). Αν και στο SIS υπάρχει τρόπος να υποβάλει κάποιος ερωτήσεις μέσω του QI (Query Interface) δεν υπάρχει μια υψηλού επιπέδου ερωτηματική γλώσσα. Το κενό αυτό φιλοδοξεί να αναπληρώσει η TELQUEL. Αν και δεν είναι ιδιαίτερα πλούσια γλώσσα, παραμένει αρκετά εκφραστική και ευέλικτη αφού υποστηρίζει τόσο όλα τα σχεσιακά χαρακτηριστικά όσο και αρκετές λειτουργίες μεταβατικής κλειστότητας. Η υλοποίηση της TELQUEL βασίζεται στη μετατροπή μιας ερώτησης TELQUEL σε μια ακολουθία κλήσεων QI. Για να είναι εφικτή η υλοποίηση της γλώσσας με αυτό τον τρόπο αναγκαστήκαμε να χωρίσουμε τη διαδικασία της μετάφρασης σε 2 φάσεις. Στην πρώτη φάση της μετάφρασης μετατρέπεται η ερώτηση σε μια ισοδύναμή της στη λογική γλώσσα Datalog. Στη δεύτερη φάση επιτελείται ο μετασχηματισμός από Datalog σε QI. Η εργασία επικεντρώνεται περισσοότερο: 1. Στην προσπάθεια για την επέκταση του QI ώστε να υποστηρίζει σχέσεις και στις δυσκολίες που υπάρχουν στην υποστήριξη σχέσεων από ένα σύστημα που υποστηρίζει σύνολα και 2. Τη μετατροπή μιας ερώτησης από μια δηλωτική γλώσσα όπως είναι η Datalog, σε μια διαδικαστική όπως είναι το QI, κατά τη δεύτερη φάση. Παρουσιάζουμε ακόμη τη σύνταξη και τη σημασιολογία της γλώσσας αλλά και τον τρόπο με τον οποίο επιτελείται η πρώτη φάση της μετάφρασης.
(EL)
SIS (Semantic Index SYSTEM) can be viewed as an Object Oriented Database Management System (OODBMS) that is based on the knowledge representation language TELOS. TELOS is used both for schema declaration (DDL) and data manipulation (DML) and is based on three abstraction mechanisms: classification, attribution and specialization. Although there is a way to submit queries in SIS through QI (Query Interface), the lack of a high level query language is more than obvious. TELQUEL remedies this situation. TELQUEL is a query language with an SQL-like syntax. Though it is not very rich, it remains expressive and flexible supporting not only relational algebra operations but also transitive closure operations. The implementation of TELQUEL is based on the transformation of a query in a sequence of QI calls. To achieve this goal we had to break down the compilation into two phases. In the first phase we transform the query to a DATALOG program. On second phase we transform the DATALOG program to a sequence of QI calls. In our work special emphasis is given to: 1. The extension of QI so that it can support not only sets, but also relations, and 2. the translation of a query expressed in the declarative language DATALOG to a sequence of QI calls. We also present the syntax and semantics of the language, as well as the way the first phase is performed.
(EN)
