Matches in SemOpenAlex for { <https://semopenalex.org/work/W199558397> ?p ?o ?g. }
- W199558397 abstract "A large number of approaches have been developed to simplify construction of, and to reduce errors in, data-driven applications. However, these approaches have not been particularly concerned with compile-time type safety. Type mismatch errors between program and the database schema occur quite often during program development, and the techniques used in these approaches often defer error checking on database operations until runtime. In this thesis, we take a different approach from those previously proposed, based on strict type checking at compile time, type inference, higher-order functions, phantom types, object relational mapping, and loosely coupled database interaction. Instead of using external, literal XML file and string type SQL, we embed the mapping meta data and user defined queries directly in the program, the type safety of which is guaranteed by the program compiler. Such a result is achieved by introducing additional database schema information and using type avatars, a dummy structure used to extend the type checking to embedded queries, during compilation. We show that this approach is practical and effective by implementing a compile-time type-safe object relational framework, called Qanat, in the OCaml programming language and using a loosely coupled SQL database. We further report experimental results obtained by running a number of benchmark tests, and compare the resulting Qanat applications with the equivalent, raw database driver based applications." @default.
- W199558397 created "2016-06-24" @default.
- W199558397 creator A5031840716 @default.
- W199558397 date "2010-12-01" @default.
- W199558397 modified "2023-09-26" @default.
- W199558397 title "Strongly typed, compile-time safe and loosely coupled data persistence" @default.
- W199558397 cites W1495629237 @default.
- W199558397 cites W1500132926 @default.
- W199558397 cites W1527772953 @default.
- W199558397 cites W1537280715 @default.
- W199558397 cites W1543262385 @default.
- W199558397 cites W1547043196 @default.
- W199558397 cites W1550985756 @default.
- W199558397 cites W155730288 @default.
- W199558397 cites W1557561422 @default.
- W199558397 cites W1564594068 @default.
- W199558397 cites W1585383770 @default.
- W199558397 cites W1594279870 @default.
- W199558397 cites W1606614601 @default.
- W199558397 cites W1638452256 @default.
- W199558397 cites W1695866928 @default.
- W199558397 cites W1731558674 @default.
- W199558397 cites W177226800 @default.
- W199558397 cites W1785176652 @default.
- W199558397 cites W1809751277 @default.
- W199558397 cites W1827112781 @default.
- W199558397 cites W1857623082 @default.
- W199558397 cites W1878755246 @default.
- W199558397 cites W1966786021 @default.
- W199558397 cites W1968783161 @default.
- W199558397 cites W1977101058 @default.
- W199558397 cites W197735651 @default.
- W199558397 cites W1978109360 @default.
- W199558397 cites W1981027679 @default.
- W199558397 cites W1984843285 @default.
- W199558397 cites W1988978715 @default.
- W199558397 cites W1989488683 @default.
- W199558397 cites W1990991680 @default.
- W199558397 cites W1994813568 @default.
- W199558397 cites W2001114201 @default.
- W199558397 cites W2002089154 @default.
- W199558397 cites W2011101258 @default.
- W199558397 cites W2012056301 @default.
- W199558397 cites W2029098176 @default.
- W199558397 cites W2029414465 @default.
- W199558397 cites W2032852944 @default.
- W199558397 cites W2033229728 @default.
- W199558397 cites W2033904757 @default.
- W199558397 cites W2039179855 @default.
- W199558397 cites W2058162377 @default.
- W199558397 cites W2059267851 @default.
- W199558397 cites W2059895047 @default.
- W199558397 cites W2067607302 @default.
- W199558397 cites W2081048703 @default.
- W199558397 cites W2083803628 @default.
- W199558397 cites W2088675571 @default.
- W199558397 cites W2095136535 @default.
- W199558397 cites W2100298695 @default.
- W199558397 cites W2102508008 @default.
- W199558397 cites W2105232714 @default.
- W199558397 cites W2108996071 @default.
- W199558397 cites W2119629818 @default.
- W199558397 cites W2121757479 @default.
- W199558397 cites W2133824159 @default.
- W199558397 cites W2136327713 @default.
- W199558397 cites W2137417304 @default.
- W199558397 cites W2145287505 @default.
- W199558397 cites W2153658315 @default.
- W199558397 cites W2153895433 @default.
- W199558397 cites W2154528871 @default.
- W199558397 cites W2157405063 @default.
- W199558397 cites W2159078835 @default.
- W199558397 cites W2159410989 @default.
- W199558397 cites W2160630279 @default.
- W199558397 cites W2161581745 @default.
- W199558397 cites W2162602286 @default.
- W199558397 cites W2163285366 @default.
- W199558397 cites W2163976959 @default.
- W199558397 cites W2166822586 @default.
- W199558397 cites W2170262285 @default.
- W199558397 cites W2170830071 @default.
- W199558397 cites W2171365126 @default.
- W199558397 cites W2292267676 @default.
- W199558397 cites W2295608275 @default.
- W199558397 cites W2295914203 @default.
- W199558397 cites W2339920159 @default.
- W199558397 cites W2395763232 @default.
- W199558397 cites W2471848802 @default.
- W199558397 cites W2571092107 @default.
- W199558397 cites W2913378306 @default.
- W199558397 cites W2988119170 @default.
- W199558397 cites W3148157601 @default.
- W199558397 cites W593998138 @default.
- W199558397 cites W610793317 @default.
- W199558397 cites W82706487 @default.
- W199558397 hasPublicationYear "2010" @default.
- W199558397 type Work @default.
- W199558397 sameAs 199558397 @default.
- W199558397 citedByCount "0" @default.
- W199558397 crossrefType "dissertation" @default.