Κατάθεση Στιγμιαίων Επερωτήσεων

Σε αυτή την υποενότητα θα δείξουμε πώς μπορούν να απαντηθούν στιγμιαίες επερωτήσεις που περιέχουν Boolean και διανυσματικού χώρου τμήματα (δηλώνονται ως επερωτήσεις τύπου $ T1$ ) ή μόνο διανυσματικού χώρου τμήματα (δηλώνονται ως επερωτήσεις τύπου $ T2$ ). Ο πρώτος τύπος επερωτήσεων ($ T1$ ) ευρετηριάζεται πάντα χρησιμοποιώντας το Boolean τμήμα του. Ας υποθέσουμε ότι ένας πελάτης $ C$ επιθυμεί να καταθέσει μία επερώτηση $ q$ (τύπου $ T1$ ) που έχει τη μορφή

$\displaystyle \bigwedge_{i = 1}^{m} A_i = s_i \wedge \bigwedge_{i = m + 1}^n A_i \sqsupseteq wp_i \wedge \bigwedge_{i = n + 1}^{k} A_i \sim_{a_i} s_i
$

Τα επόμενα τρία βήματα παίρνουν μέρος:

Βήμα 1:
Ο $ C$ αποστέλλει στο σημείο πρόσβασής του, $ S$ , το μήνυμα $ SubmitQ(key(C)$ , $ ip(C)$ , $ key(q)$ , $ q)$ .
Βήμα 2:
Ο $ S$ επιλέγει τυχαία μία και μόνο λέξη $ w$ που περιέχεται σε κάποιο από τις λεκτικές τιμές $ s_1, s_2, \dots, s_m$ ή λεκτικά σχήματα $ wp_{m+1}, \dots, wp_n$ και υπολογίζει την τιμή $ H(w)$ έτσι ώστε να αποκτήσει το αναγνωριστικό του υπερ-κόμβου που είναι υπεύθυνος για την αποθήκευση της δημοσίευσης που μπορεί να ταιριάζει με το $ q$ . Στη συνέχεια αποστέλλει το μήνυμα $ msg = PoseQuery(ip(C)$ , $ key(C)$ , $ ip(S)$ , $ key(q)$ , $ q)$ σε αυτόν τον κόμβο καλώντας τη συνάρτηση $ send(msg, H(w))$ .

Εάν η επερώτηση $ q$ είναι της μορφής $ A_{n + 1} \sim_{a_1} s_1 \wedge  \dots \wedge A_n \sim_{a_n} s_n$ (επερώτηση τύπου $ T2$ ) τότε το δεύτερο βήμα τροποποιείται ως εξής: Έστω $ D_1, D_2, \dots, D_n$ τα σύνολα που αποτελούνται μόνο από τις διαφορετικές λέξεις στα $ s_1, s_2, \dots, s_n$ αντίστοιχα. Τότε το $ q$ θα πρέπει να αποσταλεί σε όλους τους υπερ-κόμβους με αναγνωριστικά που ανήκουν στη λίστα $ L = \{ H(w_j): w_j \in D_1 \cup \dots \cup D_n \}$ . Για να επιτευχθεί κάτι τέτοιο, ο $ S$ αφαιρεί τα διπλότυπα αναγνωριστικά από το $ L$ , ταξινομεί την $ L$ κατά αύξουσα σειρά και αποστέλλει το μήνυμα $ msg = PoseQuery(ip(C), key(C), ip(S), key(q), q)$ στους κατάλληλους κόμβους με τη συνάρτηση $ send(msg, L)$ .

Βήμα 3:
Κάθε υπερ-κόμβος που παραλαμβάνει μία στιγμιαία επερώτηση την ταιριάζει με τις τοπικές αποθηκευμένες δημοσιεύσεις του, έτσι ώστε να πληροφορηθεί για τους παρόχους που έχουν δημοσιοποιήσει έγγραφα που ταιριάζουν με την επερώτηση $ q$ και διανέμει αυτές τις απαντήσεις σύμφωνα με την περιγραφή της υποενότητας 3.2.8.



Charalampos Nikolaou 2008-04-02