Ικανοποίηση περιορισμών σε χωρικές βάσεις δεδομένων μέσω διαδικτύου.

Abstract

Σε αυτή την εργασία, μελετάμε το πρόβλημα διακλάδωσης στον καθορισμό των χωρικών βάσεων δεδομένων. Θα περιγράψουμε το πρόβλημα διακλάδωσης σε κλασσικές και σε χωρικές βάσεις δεδομένων, εξηγώντας τη διαφορά μεταξύ τους και τον λόγο που οι λύσεις που προτείνονται για τις κλασσικές βάσεις δεδομένων δεν μπορούν να αντιμετωπίσουν το πρόβλημα διακλάδωσης σε χωρικές βάσεις δεδομένων. Στη συνέχεια, θα περιγράψουμε την εκπροσώπηση των χωρικών δεδομένων σε σχεσιακές βάσεις δεδομένων. Έπειτα θα εξηγήσουμε τη λύση που προτείνουμε, περιγράφοντας τη γενική ιδέα και τους αλγορίθμους και θα δώσουμε ένα πλήρες παράδειγμα της εκτέλεσης του εργαλείου (Java program), περιγράφοντας τι είσοδο θα πρέπει να δώσουμε και πως θα μοιάζουν τα αποτελέσματα. Μετά από αυτό, θα εξηγήσουμε την αρχιτεκτονική του συστήματος. Στο τέλος θα παρουσιάσουμε μια απόδειξη της ορθότητας των συστημάτων, την πολυπλοκότητα της λύσης μας και τα μερικά αποτελέσματα αξιολόγησης από τις δοκιμές που κάναμε. Οι βασικές ιδέες της προσέγγισής μας είναι οι εξής: - Να περιγράψουμε το πρόβλημα σε σχεσιακές χωρικές βάσεις δεδομένων . - Να αναπτύξουμε αλγορίθμους για την ανακάλυψη και την διαγραφή ασυνεπειών. - Να χρησιμοποιήσουμε δυναμικούς κανόνες για τη σύλληψη των άμεσων επιπτώσεων των ενεργειών, και στατικούς κανόνες για τη σύλληψη των έμμεσων επιπτώσεων των ενεργειών. - Να αναπτύξουμε ένα σύστημα που εφαρμόζει τη λύση σε SQL για μια σχεσιακή βάση δεδομένων. Στα κεφάλαια που ακολουθούν γίνεται παρουσίαση της γλώσσας SQL , η οποία χρησιμοποιήθηκε για την εγγραφή των αλγορίθμων που έδωσαν τη λύση στο πρόβλημα της διακλάδωσης, όπως επίσης και της γλώσσας PHP, η οποία υποστηρίζει βάσεις δεδομένων. Τέλος γίνεται αναφορά στην τεχνολογία JSP, που υποστηρίζει επίσης βάσεις δεδομένων και παρουσιάζονται οι λόγοι για τους οποίους προτιμήσαμε την JSP από την PHP.

In this paper, we study the ramification problem in the setting of spatial databases. We will describe the ramification problem in conventional and in spatial databases, explaining the difference between them and the reason that the solutions that are proposed for conventional databases cannot address the ramification problem in spatial databases. Next, we will describe the representation of spatial data in relational databases. Then, we will explain the solution we propose, describing the concept and the algorithms and we will give a complete example of the execution of the tool (Java program), describing what input should be given and what the results will be like. After that, we will explain the architecture of the system. In the end, we will present a proof of the correctness of the systems, the complexity of our solution and some evaluation results from the tests we made. The key ideas of our approach are: - To describe the problem in relational spatial databases. - To development algorithms for discover and delete inconsistencies. - To use dynamic rules to capture the direct effects of actions, and static rules to capture the indirect effects of actions. - To develop a system which implement the solution in SQL for a relation databases. In the following, we present the language SQL, which is used to write the algorithms which have the solution to the ramification problem, as well as the language PHP, which maintains databases. Finally, we make a reference to technology JSP, which also supports databases and presenting the reasons why we preferred the JSP to PHP.