Περίληψη |
Στις μέρες μας, ένας από τους ενεργούς τομείς στην περιοχή της Ανάκτησης Πληροφοριών είναι το πρόβλημα της πρόσβασης, ανάκτησης και ολοκλήρωσης στοιχείων αποθηκευμένων σε ένα μεγάλο αριθμό φυσικά κατανεμημένων ετερογενών πηγών. Προκειμένου να επιτευχθεί κάτι τέτοιο, μια συνηθισμένη προσέγγιση είναι ο ορισμός ενός κοινού μοντέλου δεδομένων. Πάνω από κάθε πηγή υπάρχει μια εφαρμογή η οποία μεταφράζει επερωτήσεις εκφρασμένες στο κοινό αυτό μοντέλο, σε επερωτήσεις στο μοντέλο της υποκείμενης πηγής. Η ίδια εφαρμογή είναι υπεύθυνη για τη μετάφραση των αποτελεσμάτων που επιστρέφει η πηγή, σε όρους του κοινού μοντέλου. Προγράμματα που επιτελούν τέτοιου είδους λειτουργίες αποκαλούνται μεταφραστές. Το Z39.50 είναι ένα πρωτόκολλο για πρόσβαση και ανάκτηση πληροφοριών από ετερογενείς πηγές δεδομένων το οποίο αποτελεί το πρότυπο ANSI/NISO Z39.50 καθώς και το ISO 23950. Ορίζει ένα κοινό μοντέλο αναφοράς το οποίο αποτελείται από μια επίπεδη (χωρίς δομή) λίστα πεδίων τα λεγόμενα Σημεία Πρόσβασης, πάνω στα οποία ο χρήστης εκφράζει τις επερωτήσεις του, μέσω μιας γλώσσας λογικών τελεστών. Η διαδικασία καθορισμού του τρόπου μετάφρασης των αρκετά απλών Z39.50 επερωτήσεων στη γλώσσα επερωτήσεων και τις δομές της υποκείμενης πηγής είναι μια πολύπλοκη διαδικασία, μια και τα δεδομένα της πηγής μπορεί να έχουν σύνθετη δομή. Αντικείμενο της εργασίας αυτής είναι η εύρεση μιας μεθόδου για το δηλωτικό προσδιορισμό του τρόπου μετάφρασης και γενικότερα της λειτουργίας ενός μεταφραστή Z39.50. Η μέθοδος αυτή θα δίνει στο χρήστη τη δυνατότητα να εκφράζει τις αντιστοιχίσεις από το επίπεδο σχήμα του Z39.50 και τους πρωτογενείς τελεστές της γλώσσας επερωτήσεων αυτού, στο δομημένο μοντέλο της πηγής και τη γλώσσα επερωτήσεών της, με ένα εύκολο, αρκετά εκφραστικό και αποδοτικό τρόπο. Προκειμένου να επιτευχθεί κάτι τέτοιο χρησιμοποιήθηκε η Περιγραφική Λογική. Η Περιγραφική Λογική παράγει εννοιολογικές γλώσσες οι οποίες είναι αρκετά εκφραστικές και αρκετά κοντά στη φυσική γλώσσα με αποτέλεσμα να είναι εύκολος ο χειρισμός από τον απλό χρήστη. Επιπλέον, η Περιγραφική Λογική παρέχειένα τυπικό πλαίσιο μέσα στο οποίο είναι δυνατή η αντιμετώπιση ενός αριθμού βασικών προβλημάτων του z.
|