Model-checking based data retrieval an application to semistructured and temporal data
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2004
|
| Schriftenreihe: | Lecture notes in computer science
2917 |
| Schlagworte: |
Langage d'interrogation
> Langages d'interrogation
> Model-checking (Informatique)
> Système d'information
> Systèmes d'information
> Information storage and retrieval systems
> Query languages (Computer science)
> Transitionssystem
> Abfragesprache
> Datenbanksystem
> Graphentheorie
> Model Checking
> Semistrukturierte Daten
> Zeitliches Datenbanksystem
> Information Retrieval
> Temporale Logik
> Hochschulschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen Keine Ergebnisse!