Model-Checking Based Data Retrieval
Subtitle: An Application to Semistructured and Temporal Data (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: March 19, 2004
Language: eng
Format: Paperback
Number of pages: 134
ISBN-13: 9783540209713
Subjects: Databases & data structures; Computers; Computers - Data Base Management; Computer Books: Database; Information Storage & Retrieval; Information Technology; Computers / Database Management / General; data base queries; data retrieval; database retrieval; graph-based query languages; graph-based representation; information retrieval; model checking; model-checking based data retrieval; semistructured data retrieval; Database Management - General; Information storage and retrie; Information storage and retrieval systems; Langages d'interrogation; Query languages (Computer scie; Query languages (Computer science)
First sentence: An increasing amount of data is becoming available electronically to humans and programs.