<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/'>
	<!ENTITY category 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3A'>
	<!ENTITY property 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://s3wiki.yonsei.ac.kr/index.php/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-09-08T17:22:50+09:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018">
		<rdf:type rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons"/>
		<rdfs:label>Lesson:corobase coroutine oriented main memory database engine c4a28018</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<property:Applicability rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Main-memory databases with pointer-heavy read paths.

Limits: Benefits shrink for compute/write-heavy workloads and depend on useful prefetch distance and batching concurrency.</property:Applicability>
		<property:Attempt rdf:datatype="http://www.w3.org/2001/XMLSchema#string">CoroBase expresses each transaction as a coroutine and interleaves transactions to batch memory accesses and issue software prefetches while retaining the transaction API.</property:Attempt>
		<property:Author rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Author>
		<property:Confidence rdf:datatype="http://www.w3.org/2001/XMLSchema#string">high</property:Confidence>
		<property:Context rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Venue: VLDB. Year: 2021.

Modern in-memory engines are often memory-latency bound, but conventional batching complicates transaction code.

Verification: full_text; confidence=high.</property:Context>
		<property:Created_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T14:57:05Z</property:Created_at>
		<property:Created_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.1229745</property:Created_at-23aux>
		<property:Evidence_overview rdf:datatype="http://www.w3.org/2001/XMLSchema#string">CoroBase: Coroutine-Oriented Main-Memory Database Engine. VLDB 2021.</property:Evidence_overview>
		<property:Interpretation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Language/runtime continuations can hide latency while preserving readable transactional control flow.</property:Interpretation>
		<property:Lesson_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">CoroBase: Coroutine-Oriented Main-Memory Database Engine</property:Lesson_title>
		<property:Observation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">workloads=read-intensive and mixed OLTP on a 48-core server; baselines=conventional main-memory execution; metrics=transaction throughput; scalability; results=close to 2x on read-intensive workloads</property:Observation>
		<property:Question rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Can main-memory OLTP hide pointer-chasing stalls without rewriting the database around manual continuations?</property:Question>
		<property:Record_origin rdf:datatype="http://www.w3.org/2001/XMLSchema#string">lab</property:Record_origin>
		<property:Reusable_lesson rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Use coroutines to interleave independent requests around predictable long-latency accesses.</property:Reusable_lesson>
		<property:Review_state rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Draft</property:Review_state>
		<property:Updated_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:24Z</property:Updated_at>
		<property:Updated_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1238889</property:Updated_at-23aux>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:24Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1238889</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">corobase coroutine oriented main memory database engine c4a28018</swivt:wikiPageSortKey>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_ce21944e90fc56d650483937b6556109"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_d97b2ca3bf2576fa7b8632a40b56332b"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_bcace00973c5ac67063b8d238ef18dbb"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_33604254cc45a273314868eaa1570c88"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_0b9b8dc7018e1d614b487df6d8bce5fb"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_a9948ff52215287e8c04e8fce550b0fa"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_ce21944e90fc56d650483937b6556109">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ev_3d65534516ff4843</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T14:57:06Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.1229861</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">CoroBase: Coroutine-Oriented Main-Memory Database Engine. VLDB 2021.</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Bibliographic paper record.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">corobase coroutine oriented main memory database engine c4a28018# ce21944e90fc56d650483937b6556109</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_d97b2ca3bf2576fa7b8632a40b56332b">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verified-content-v1-0073</property:Evidence_ID>
		<property:Evidence_URL rdf:resource="https://doi.org/10.14778/3430915.3430932"/>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-16T18:43:25Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.2801505</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Yongjun He et al., "CoroBase: Coroutine-Oriented Main-Memory Database Engine", PVLDB 2021.</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Verification: full_text; confidence=high.
Question: Can main-memory OLTP hide pointer-chasing stalls without rewriting the database around manual continuations?
Context: Modern in-memory engines are often memory-latency bound, but conventional batching complicates transaction code.
Method: CoroBase expresses each transaction as a coroutine and interleaves transactions to batch memory accesses and issue software prefetches while retaining the transaction API.
Evaluation: workloads=read-intensive and mixed OLTP on a 48-core server; baselines=conventional main-memory execution; metrics=transaction throughput; scalability; results=close to 2x on read-intensive workloads
Interpretation: Language/runtime continuations can hide latency while preserving readable transactional control flow.
Reusable lesson: Use coroutines to interleave independent requests around predictable long-latency accesses.
Applicability: Main-memory databases with pointer-heavy read paths.
Limits: Benefits shrink for compute/write-heavy workloads and depend on useful prefetch distance and batching concurrency.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">corobase coroutine oriented main memory database engine c4a28018# d97b2ca3bf2576fa7b8632a40b56332b</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_bcace00973c5ac67063b8d238ef18dbb">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">canonical-paper-v2-c4a28018</property:Evidence_ID>
		<property:Evidence_URL rdf:resource="https://doi.org/10.14778/3430915.3430932"/>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T05:15:33Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461239.7191319</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Yongjun He et al., "CoroBase: Coroutine-Oriented Main-Memory Database Engine", PVLDB 2021.</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">paper</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Verification: full_text; confidence=high.
Question: Can main-memory OLTP hide pointer-chasing stalls without rewriting the database around manual continuations?
Context: Modern in-memory engines are often memory-latency bound, but conventional batching complicates transaction code.
Method: CoroBase expresses each transaction as a coroutine and interleaves transactions to batch memory accesses and issue software prefetches while retaining the transaction API.
Evaluation: workloads=read-intensive and mixed OLTP on a 48-core server; baselines=conventional main-memory execution; metrics=transaction throughput; scalability; results=close to 2x on read-intensive workloads
Interpretation: Language/runtime continuations can hide latency while preserving readable transactional control flow.
Reusable lesson: Use coroutines to interleave independent requests around predictable long-latency accesses.
Applicability: Main-memory databases with pointer-heavy read paths.
Limits: Benefits shrink for compute/write-heavy workloads and depend on useful prefetch distance and batching concurrency.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">full_text</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">corobase coroutine oriented main memory database engine c4a28018# bcace00973c5ac67063b8d238ef18dbb</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_33604254cc45a273314868eaa1570c88">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:24Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1238889</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_087dd04a45fdffde3446</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">metadata_only</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 객체는 cookie/landing page이므로 서지 위치만 확인했고 본문 주장을 검증하지 못함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2074229397819ffad72becb3a53fcec826b446e8d5c89138e9dc9d1c00f1b67e</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=2074229397819ffad72becb3a53fcec826b446e8d5c89138e9dc9d1c00f1b67e</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 objects/sha256/20/2074229397819ffad72becb3a53fcec826b446e8d5c89138e9dc9d1c00f1b67e</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ev_3d65534516ff4843</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">8f90fde27c2b9d6f970211a4b0ef1cc136022dcc69de1c2e5487d7fe4f3f4c49</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">corobase coroutine oriented main memory database engine c4a28018# 33604254cc45a273314868eaa1570c88</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_0b9b8dc7018e1d614b487df6d8bce5fb">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:24Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1238889</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_a384e41b0c0ab749e9e8</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">metadata_only</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 객체는 cookie/landing page이므로 서지 위치만 확인했고 본문 주장을 검증하지 못함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2074229397819ffad72becb3a53fcec826b446e8d5c89138e9dc9d1c00f1b67e</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=2074229397819ffad72becb3a53fcec826b446e8d5c89138e9dc9d1c00f1b67e</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 objects/sha256/20/2074229397819ffad72becb3a53fcec826b446e8d5c89138e9dc9d1c00f1b67e</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verified-content-v1-0073</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">bd817a2f017d330b72f46b23b3024568734e51568941f0459db948a2b7ddc6f0</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">corobase coroutine oriented main memory database engine c4a28018# 0b9b8dc7018e1d614b487df6d8bce5fb</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018-23_a9948ff52215287e8c04e8fce550b0fa">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Acorobase_coroutine_oriented_main_memory_database_engine_c4a28018"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:24Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1238889</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_953798f5d2487d52f074</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">full_text</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">observation,interpretation,reusable_lesson</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">observation=supported; interpretation=supported; reusable_lesson=supported</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">supports</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">8ea1b7eb68010ea398005adcd8bc5d9e6364751388aa0bd58b6247bce32846d7</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=8ea1b7eb68010ea398005adcd8bc5d9e6364751388aa0bd58b6247bce32846d7; independently adjudicated claim-bearing primary source</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Official PVLDB PDF: first-page reference, abstract, design and evaluation sections.</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">canonical-paper-v2-c4a28018</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ebf2c571d3247c425f3cfe4fa951ac82cc2ec36b147a2be1d0cb38137f35d7a3</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">corobase coroutine oriented main memory database engine c4a28018# a9948ff52215287e8c04e8fce550b0fa</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:Class rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AApplicability" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAttempt" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAuthor" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AConfidence" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AContext" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_overview" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AInterpretation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ALesson_title" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AObservation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AQuestion" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ARecord_origin" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReusable_lesson" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReview_state" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageModificationDate" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AModification_date-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AHas_subobject" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#masterPage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_citation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_kind" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_note" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_basis" />
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_URL" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_claim_fields" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_coverage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_outcome" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_SHA256" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_identity" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_locator" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_digest" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>