Arrow Datasets allow you to query against data that has been split acrossmultiple files. This sharding of data may indicate partitioning, whichcan accelerate queries that only touch some partitions (files). Callopen_dataset() to point to a directory of data files and return aDataset, then usedplyr methods to query it.
Usage
open_dataset(sources, schema=NULL, partitioning=hive_partition(), hive_style=NA, unify_schemas=NULL, format=c("parquet","arrow","ipc","feather","csv","tsv","text","json"), factory_options=list(),...)Arguments
- sources
One of:
a string path or URI to a directory containing data files
aFileSystem that references a directory containing data files(such as what is returned by
s3_bucket())a string path or URI to a single file
a character vector of paths or URIs to individual data files
a list of
Datasetobjects as created by this functiona list of
DatasetFactoryobjects as created bydataset_factory().
When
sourcesis a vector of file URIs, they must all use the same protocoland point to files located in the same file system and having the sameformat.- schema
Schema for the
Dataset. IfNULL(the default), the schemawill be inferred from the data sources.- partitioning
When
sourcesis a directory path/URI, one of:a
Schema, in which case the file paths relative tosourceswill beparsed, and path segments will be matched with the schema fields.a character vector that defines the field names corresponding to thosepath segments (that is, you're providing the names that would correspondto a
Schemabut the types will be autodetected)a
PartitioningorPartitioningFactory, such as returnedbyhive_partition()NULLfor no partitioning
The default is to autodetect Hive-style partitions unless
hive_style = FALSE. See the "Partitioning" section for details.Whensourcesis not a directory path/URI,partitioningis ignored.- hive_style
Logical: should
partitioningbe interpreted asHive-style? Default isNA, which means to inspect the file paths forHive-style partitioning and behave accordingly.- unify_schemas
logical: should all data fragments (files,
Datasets)be scanned in order to create a unified schema from them? IfFALSE, onlythe first fragment will be inspected for its schema. Use this fast pathwhen you know and trust that all fragments have an identical schema.The default isFALSEwhen creating a dataset from a directory path/URI orvector of file paths/URIs (because there may be many files and scanning maybe slow) butTRUEwhensourcesis a list ofDatasets (because thereshould be fewDatasets in the list and theirSchemas are already inmemory).- format
AFileFormat object, or a string identifier of the format ofthe files in
x. This argument is ignored whensourcesis a list ofDatasetobjects.Currently supported values:"parquet"
"ipc"/"arrow"/"feather", all aliases for each other; for Feather, note thatonly version 2 files are supported
"csv"/"text", aliases for the same thing (because comma is the defaultdelimiter for text files
"tsv", equivalent to passing
format = "text", delimiter = "\t""json", for JSON format datasets Note: only newline-delimited JSON (aka ND-JSON) datasetsare currently supportedDefault is "parquet", unless a
delimiteris also specified, in which caseit is assumed to be "text".
- factory_options
list of optional FileSystemFactoryOptions:
partition_base_dir: string path segment prefix to ignore whendiscovering partition information with DirectoryPartitioning. Notmeaningful (ignored with a warning) for HivePartitioning, nor is itvalid when providing a vector of file paths.exclude_invalid_files: logical: should files that are not valid datafiles be excluded? Default isFALSEbecause checking all files upfront incurs I/O and thus will be slower, especially on remotefilesystems. If false and there are invalid files, there will be anerror at scan time. This is the only FileSystemFactoryOption that isvalid for both when providing a directory path in which to discoverfiles and when providing a vector of file paths.selector_ignore_prefixes: character vector of file prefixes to ignorewhen discovering files in a directory. If invalid files can be excludedby a common filename prefix this way, you can avoid the I/O cost ofexclude_invalid_files. Not valid when providing a vector of file paths(but if you're providing the file list, you can filter invalid filesyourself).
- ...
additional arguments passed to
dataset_factory()whensourcesis a directory path/URI or vector of file paths/URIs, otherwise ignored.These may includeformatto indicate the file format, or otherformat-specific options (seeread_csv_arrow(),read_parquet()andread_feather()on how to specify these).
Value
ADataset R6 object. Usedplyr methods on it to query the data,or call$NewScan() to construct a query directly.
Partitioning
Data is often split into multiple files and nested in subdirectories based on the value of one or morecolumns in the data. It may be a column that is commonly referenced inqueries, or it may be time-based, for some examples. Data that is dividedthis way is "partitioned," and the values for those partitioning columns areencoded into the file path segments.These path segments are effectively virtual columns in the dataset, andbecause their values are known prior to reading the files themselves, we cangreatly speed up filtered queries by skipping some files entirely.
Arrow supports reading partition information from file paths in two forms:
"Hive-style", deriving from the Apache Hive project and common to somedatabase systems. Partitions are encoded as "key=value" in path segments,such as
"year=2019/month=1/file.parquet". While they may be awkward asfile names, they have the advantage of being self-describing."Directory" partitioning, which is Hive without the key names, like
"2019/01/file.parquet". In order to use these, we need know at leastwhat names to give the virtual columns that come from the path segments.
The default behavior inopen_dataset() is to inspect the file pathscontained in the provided directory, and if they look like Hive-style, parsethem as Hive. If your dataset has Hive-style partitioning in the file paths,you do not need to provide anything in thepartitioning argument toopen_dataset() to use them. If you do provide a character vector ofpartition column names, they will be ignored if they match what is detected,and if they don't match, you'll get an error. (If you want to renamepartition columns, do that usingselect() orrename() after opening thedataset.). If you provide aSchema and the names match what is detected,it will use the types defined by the Schema. In the example file path above,you could provide a Schema to specify that "month" should beint8()instead of theint32() it will be parsed as by default.
If your file paths do not appear to be Hive-style, or if you passhive_style = FALSE, thepartitioning argument will be used to createDirectory partitioning. A character vector of names is required to createpartitions; you may instead provide aSchema to map those names to desiredcolumn types, as described above. If neither are provided, no partitioninginformation will be taken from the file paths.
Examples
# Set up directory for examplestf<-tempfile()dir.create(tf)write_dataset(mtcars,tf, partitioning="cyl")# You can specify a directory containing the files for your dataset and# open_dataset will scan all files in your directory.open_dataset(tf)#> FileSystemDataset with 3 Parquet files#> 11 columns#> mpg: double#> disp: double#> hp: double#> drat: double#> wt: double#> qsec: double#> vs: double#> am: double#> gear: double#> carb: double#> cyl: int32#>#> See $metadata for additional Schema metadata# You can also supply a vector of pathsopen_dataset(c(file.path(tf,"cyl=4/part-0.parquet"),file.path(tf,"cyl=8/part-0.parquet")))#> FileSystemDataset with 2 Parquet files#> 10 columns#> mpg: double#> disp: double#> hp: double#> drat: double#> wt: double#> qsec: double#> vs: double#> am: double#> gear: double#> carb: double#>#> See $metadata for additional Schema metadata## You must specify the file format if using a format other than parquet.tf2<-tempfile()dir.create(tf2)write_dataset(mtcars,tf2, format="ipc")# This line will results in errors when you try to work with the dataif(FALSE){# \dontrun{open_dataset(tf2)}# }# This line will workopen_dataset(tf2, format="ipc")#> FileSystemDataset with 1 Feather file#> 11 columns#> mpg: double#> cyl: double#> disp: double#> hp: double#> drat: double#> wt: double#> qsec: double#> vs: double#> am: double#> gear: double#> carb: double#>#> See $metadata for additional Schema metadata## You can specify file partitioning to include it as a field in your dataset# Create a temporary directory and write example datasettf3<-tempfile()dir.create(tf3)write_dataset(airquality,tf3, partitioning=c("Month","Day"), hive_style=FALSE)# View files - you can see the partitioning means that files have been written# to folders based on Month/Day valuestf3_files<-list.files(tf3, recursive=TRUE)# With no partitioning specified, dataset contains all files but doesn't include# directory names as field namesopen_dataset(tf3)#> FileSystemDataset with 153 Parquet files#> 4 columns#> Ozone: int32#> Solar.R: int32#> Wind: double#> Temp: int32#>#> See $metadata for additional Schema metadata# Now that partitioning has been specified, your dataset contains columns for Month and Dayopen_dataset(tf3, partitioning=c("Month","Day"))#> FileSystemDataset with 153 Parquet files#> 6 columns#> Ozone: int32#> Solar.R: int32#> Wind: double#> Temp: int32#> Month: int32#> Day: int32#>#> See $metadata for additional Schema metadata# If you want to specify the data types for your fields, you can pass in a Schemaopen_dataset(tf3, partitioning=schema(Month=int8(), Day=int8()))#> FileSystemDataset with 153 Parquet files#> 6 columns#> Ozone: int32#> Solar.R: int32#> Wind: double#> Temp: int32#> Month: int8#> Day: int8#>#> See $metadata for additional Schema metadata