Static Checking of Dynamically Generated Queries in Database Applications

Many data-intensive applications dynamically constructqueries in response to client requests and execute them.Java servlets, e.g., can create string representations ofSQL queries and then send the queries, using JDBC, to adatabase server for execution. The servlet programmer enjoysstatic checking vi...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 s. 645 - 654
Hlavní autoři:	Gould, Carl, Su, Zhendong, Devanbu, Premkumar
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Washington, DC, USA IEEE Computer Society 23.05.2004
Edice:	ACM Conferences
Témata:	Applied sciences Computer science; control theory; systems Exact sciences and technology Information systems > Data management systems > Database management system engines > Database query processing Information systems > Data management systems > Query languages Information systems > Information retrieval > Information retrieval query processing Information systems. Data bases Memory organisation. Data processing Software Software and its engineering > Software notations and tools > General programming languages > Language types Software and its engineering > Software organization and properties > Software functional properties > Correctness Software engineering Theory of computation > Logic > Logic and verification Theory of computation > Logic > Proof theory Theory of computation > Semantics and reasoning > Program reasoning > Program analysis Theory of computation > Semantics and reasoning > Program semantics Theory of computation > Theory and algorithms for application domains > Database theory > Database query languages (principles) Theory of computation > Theory and algorithms for application domains > Database theory > Database query processing and optimization (theory) Type theory High performance JAVA language Software development Database query Very large databases Information retrieval Program analysis Distributed computing Program verification SQL Character string Sound analysis Static analysis Defect Purchases Computer server Algorithm analysis Software engineering
ISBN:	9780769521633, 0769521630
ISSN:	0270-5257
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!